מסקנות

הגדרת האריחים תלוייה רק בהגדרת M ולא במהלך הריצה של M על ε.

בריצוף תקין כל שורה מתאימה לקונפיגורציה של M.

בריצוף תקין שתי שורות עוקבות מתאימות לקונפיגורציות עוקבות של M.

השורה הראשונה מתאימה לקונפיגורציה ההתחלתית עבור הקלט ε.

אין אריח שבו האות h מופיעה למטה

← ל- A יש ריצוף תקין אמ"ם h לא מופיע בריצוף ← אמ"ם M  לא עוצרת על ε.

                                                                             מ.ש.ל