Яка різниця між автоматом, що притискає, і машиною Тюрінга?

Автомати Pushdown не є детермінованими, оскільки машина Тьюринга є детермінованою за своєю природою. Автомати Pushdown можуть отримати доступ лише до верхньої частини стека, оскільки вони працюють за концепцією «Останній прийшов, перший вийшов» (LIFO), де машина Тьюринга може отримати доступ до будь-якої позиції на нескінченній стрічці. 8 січня 2022 р.

Автомати Push down можуть отримати доступ лише до вершини свого стека, вони не можуть отримати доступ до нескінченної стрічки, тоді як машину Тьюринга можна використовувати для доступу до нескінченної стрічки. Машина Тьюринга може рухатися як вперед, так і назад. Машина Тьюрінга може як писати, так і читати. Він зупиняється, коли рядок приймається або відхиляється.

Основна відмінність полягає в обсязі пам'яті, до якої вони мають доступ. Машина Тьюринга має необмежену стрічку, яка простягається нескінченно в обох напрямках, що дозволяє їй зберігати необмежену кількість інформації.. На відміну від цього, лінійний обмежений автомат має стрічку, яка обмежена постійним коефіцієнтом розміру вхідних даних.

Автомати, що притискаються, і машина Тьюрінга досить схожі, за винятком того, що КПК має стрічку лише для читання та стек для читання-запису замість стрічки для читання-запису.. Якби PDA міг отримати доступ до елементів, розташованих довільно далеко в стеку, він мав би потужність TM, але доступ лише зверху обмежує його потужність.

TG може мати кілька стартових станів, тоді як FA ні. TG може мати лямбда на краю, тоді як FA не може. TG може мати всю струну на краю, тоді як FA ні. TG є недетермінованим; Він може мати кілька можливих шляхів під час виконання вхідного рядка.

Токарний верстат має нескінченну довжину стрічки та зберігання, КПК має обмежений (стек). Машина Тьюринга може симулювати будь-який реальний комп’ютер, тоді як КПК не може. PDA зазвичай визначається за допомогою шести кортежів (Q, ∑, S, δ, F, I) і TM за допомогою 7 кортежів (Q, X, ∑, δ, q0, B, F).