4.1. הגדרות
תיאור לא פורמלי של הפקודות:
- אתחול, start: מציינת את נקודת ההתחלה של התוכנית. לתוכנית
ישנה נקודת התחלה יחידה.
- הצבה
: יהי
וקטור משתנים ממשתני התוכנית, בלי חזרות. יהי
ווקטור באותו אורך של ביטויים מעל משתני התוכנית, וקבועים.
ערכי הביטויים מחושבים לפי המצב הנוכחי, ולאחר מכן מוצבים ל-
סימולטנית. דוגמא: יהיה מצב:
, ותהא השמה
, אזי מצב התוצאה הוא
.
- בדיקה
:
ביטוי בוליאני מעל משתני התוכנית במצב נתון
. הביטוי
מחושב ואנחנו ממשיכים לקשת true/false לפי ערכו של החישוב.
- עצירה, halt: נקודת סיום של התוכנית. יכולה להיות יותר
מנקודת עצירה אחת.
הגדרה מדוייקת של תרשים זרימה (כגרף):
תכנית P בשפת תרשימי הזרימה PLF הינה
גרף סופי מכוון שבצמתיו פקודות. לכל צומת מותאמת תווית המופרדת מהפקודה
בנקודותיים. בנוסף על הגרף לספק את המגבלות הבאות:
- לצומת אתחול אין אב ויש בן אחד בדיוק.
- לצומת עצירה אין בנים.
- לצומת הצבה בן אחד בדיוק.
- לצומת בדיקה שני בנים בדיוק: אחד מסומן ב-T והשני מסומן ב-F.
- צומת האתחול הוא יחיד.
- כל צומת נמצא על מסלול מצומת אתחול לצומת עצירה.
- לצמתים שונים תוויות שונות.
הגדרת מסלולים:
הגדרה:
בהינתן תוכנית תרשימי זרימה, נגדיר בשם מסלול סדרת מצבים עוקבים בגרף
תרשימי הזרימה.
הגדרה: מסלול
מלא הוא מסלול המתחיל ב-start ומסתיים ב-halt.
הגדרה: מסלול
מקסימאלי הוא מסלול מלא או אינסופי.