Яка різниця між зупинкою, прийняттям та прийняттям рішення в контексті машин Тьюрінга?

Чи означає прийняття означає, що TM буде читати та розпізнавати знак із клітини, з якої він зараз читає? І чи трапляється так, що TM зупиняє iff вхідний сигнал?

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

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

Кажуть, що машина Тьюрінга є загальною, якщо вона зупиняється на всіх входах.

Мова, прийнята машиною Тюрінга, - це сукупність усіх слів, які, якщо вони надаються як вхід до машини Тьюрінга, призводять до того, що машина Тьюрінга переходить у стан прийняття.

Кажуть, що мова може бути рішучою тоді і лише тоді, коли існує ціла машина Тьюрінга, яка прийме мову.