Универсальная машина Тьюринга
Материал из Википедии — свободной энциклопедии
Универсальной машиной Тью́ринга называют машину Тьюринга, которая может заменить собой любую машину Тьюринга. Получив на вход программу и входные данные, она вычисляет ответ, который вычислила бы по входным данным машина Тьюринга, чья программа была дана на вход.
[править] Формальное определение
Программу любой детерминированной машины Тьюринга можно записать, используя некоторый конечный алфавит, состоящий из символов состояния, скобок, стрелки и т. п.; обозначим этот машинный алфавит как Σ1. Тогда универсальной машиной Тьюринга U для класса машин с алфавитом Σ2 и k входными лентами называется машина Тьюринга с k+1 входной лентой и алфавитом 
такая, что если подать на первые k лент входное значение, а на k+1 — правильно записанный код некоторый машины Тьюринга M1, то U выдаст тот же ответ, какой выдала бы на этих входных данных M1, или будет работать бесконечно долго, если M1 на этих данных не остановится.
Теорема об универсальной машине Тьюринга утверждает, что такая машина существует и моделирует другие машины с не более чем квадратичным замедлением (т.е. если исходная машина произвела t шагов, то универсальная произведёт не более ct2). Доказательство у этой теоремы конструктивное (такую машину несложно построить, надо только аккуратно её описать). Теорема была предложена и доказана Тьюрингом в 1947 г.
