6.3.5. LTLלוגיקה עיתית ליניארית Linear temporal logic: נוסחאות LTL הן מהצורה נוסחת מסלול LTL היא מהצורה:
נוסחת LTL היא מהצורה דוגמאות לנוסחאות מסלול LTL: Linear Time Logic Branching Time Logic יש הבדל בין שתי צורות הבדיקה (הימנית
לעומת שתי השמאליות): בצורה הימנית בנקודה
דוגמא נראה את ההבדל בין CTL ל-LTL על
ידי דוגמא. נביט בביטוי ה-CTL הבא: איך יראה המבנה המתאים לביטוי זה? המבנה יהיה מהצורה: במבנה מסלולים באורכים שונים, ובכל מסלול שכזה קיים מצב שבו כל הבנים מספקים p. הלוגיקה LTL לא מאפשרת לנו לבטא מבנה כזה.
נוסחה קרובה ב-LTL הינה
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |