Изменения
→Вычислительные формализмы
*[[Линейный клеточный автомат, эквивалентность МТ]]
*[[Возможность порождения формальной грамматикой произвольного перечислимого языка]]
*[[Линейный ограниченный автомат]]
=== Примеры неразрешимых задач ===
