Машина Тьюринга считается гипотетической, так как она "снабжена" бесконечной лентой, которую на практике реализовать нельзя. Однако, для большинства алгоритмов достаточно иметь ленту ограниченной длины, следовательно такую машину Тьюринга можно смоделировать. Это и сделано в программе ALGO2000, написанной Р.Зартдиновым.