6.5.6. יצוג מבנה קריפקה בעזרת BDDBDD זו דרך שימושית לייצג יחסים על פני תחום סופי. נראה
כיצד ניתן לייצג את מכונת קריפקה באמצעות BDD. שיטת העבודה בה נשתמש: נניח
ש- אחרת תהא כאשר מכונת קריפקה כאמור הינה כדי לייצג את הרלציה בעניין פונקצית המיפוי לכל נוסחה אטומית
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
תגובות: