לוגיקה - סיכום נקודות

אלגוריתם לבניית עץ יצירה עבור פסוק α

1. a הוא השורש של העץ.

2. לכל צומת שאינו אטום, מבצעים:
   א. מוחקים את הסוגריים החיצוניים (אם אין כאלו – האלגוריתם נכשל).
   ב. אם הסימן הראשון הוא ? זהו הקשר הראשי והסיפא שאחריו הוא הבן היחיד של הצומת
       הנוכחי.
   ג. אחרת: סורקים משמאל לימין, תוך ספירת יתרון הסוגריים השמאליים על הימניים. בפעם
      הראשונה בה מגיעים לשוויון (מלבד בנקודת ההתחלה) – עוצרים:

• אם הסימן שמייד אחרי נקודת העצירה אינו קשר דו-מקומי, האלגוריתם נכשל.

• אחרת:

• הסימן שמייד אחרי נקודת העצירה הוא הקשר המרכזי.
• הביטוי שמשמאל לנקודת העצירה הוא הבן השמאלי של הצומת הנוכחי.
• הביטוי שמימין לקשר המרכזי הוא הבן הימני של הצומת הנוכחי.

האלגוריתם עוצר כאשר כל הצמתים שטרם טופלו מכילים סימן אטום יחיד.