" for clarity)::ee.;.D.A.D.D.C.R.D.A.A.;.D.A.A.D.D.R.D.A.A.A.;.D.A.A.A.D.D.C.C.R.D.A.A.A.A.;.D.A.A.A.A.D.D.R.D.A.::...
Тогда универсальной машиной Тьюринга "U" для класса машин с алфавитом formula_2 и "k" входными лентами называется машина Тьюринга с "k+1" входной лентой и алфавитом formula_3 такая, что если подать на первые "k" лент входное значение, а на "k+1" — правильно записанный код некоторой машины Тьюринга formula_4, то "U" выдаст тот же ответ, какой выдала бы на этих входных данных formula_4, или будет работать бесконечно долго, если formula_4 на этих данных не остановится.