Модифікації машини Тюрінга

Може перебувати в кількох конфігураціях одночасно. Еквівалентна звичайній МТ.

Читаюча голівка не може переміщуватись лівіше початкового символу. Еквівалентна звичайній МТ.

Голівка може змінювати символ на певній доріжці окремо. Моделюється звичайною МТ, якщо брати алфавіт звичайної як k-ту степінь алфавіту k-доріжкової.

На відміну від k-доріжкової, тут кожна стрічка має свою головку, які можуть рухатись окремо. Моделюється 2^k стрічковою машиною, тому теж еквівалентна звичайній МТ.

Машина яка має k-голівок, і одну стрічку.

Такі машини поділяються на односторонні (голівка може рухатись в обидві сторони), та двосторонні (тільки в одну). Наприклад скінченний автомат є односторонньою off-line МТ.

МТ з стрічкою що обмежена розмірами вхідного слова

Такий автомат має обмежений набір операцій зі стрічкою, а саме:

1. Дописати символ ${\displaystyle \neq \lambda }$ в кінці робочої зони, і пересунутись вправо.
2. Пересунутись вліво, і витерти символ під голівкою (замінити на ${\displaystyle \lambda }$).

За допомогою автомата з двома магазинами можна промоделювати роботу машини Тьюрінга.

Магазин з унарним алфавітом називається лічильником. Два лічильники можуть промоделювати роботу магазину.

Аналогічний МА, але крім цього вміє читати символи з середини стрічки.

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