איור 9.9 רדוקציה מבעיית העצירה של מכונות טיורינג אל ריצוף חצאי סריג (שים לב כיצר מחליפים ייכו "ו "לא " תפקידים(.
מתוך:
אלגוריתמיקה : יסודות מדעי המחשב
>
אלגוריתמיקה יסודות מדעי המחשב
>
חלק III מגבלות וחסינות
>
9 אוניברסליות אלגוריתמית וחסינותה או המכונות הפשוטות ביותר שעושות את זה
אל הספר