304
правки
Изменения
м
→Другие эквивалентные вычислительные формализмы: ещё формализмы
* [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ|счётчиковые машины]]
* [[Линейный клеточный автомат, эквивалентность МТ|клеточные автоматы]]
* [[Возможность порождения формальной грамматикой произвольного перечислимого языка|произвольные формальные грамматики]]
* [[Лямбда-исчисление|нетипизированное лямбда-исчисление]]
== Универсальная машина Тьюринга ==
