6.4.2. תרגילים
תרגיל 1
אילו מהמבנים הבאים הם מודלים לנוסחה: ?
1.
המבנה מספק את הנוסחה.
המצב היחיד מספק
כי הוא מספק את ולכן הוא מספק את
2.
המבנה לא מודל לנוסחה. אבל בגלל המסלול .
3.
, . כל מסלול עבור דרך ולכן כל מסלול מספק את .
תרגיל 2
נתונות הנוסחאות: . האם
תשובה: כן.
יהיו כך ש-.
לכל מסלול רק ש- מתקיים .
יהי מסלול כלשהו ב-
שמתחיל ב- כאמור
הראינו זאת לכל
שמתחיל ב- ולכן
האם ?
תשובה: לא. דוגמה נגדית:
אבל בגלל המסלול
העליון.