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