Изменения

Теория формальных языков

909 байт добавлено, 08:25, 16 декабря 2010

Нет описания правки

*[[Иммунные и простые множества]]

*[[Теорема о рекурсии]]

*[[Примеры неразрешимых задач: проблема соответствий Поста]]

*[[Примеры неразрешимых задач: однозначность грамматики]]

*[[Примеры неразрешимых задач: задача о замощении]]

*[[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ]]

*[[Стековые машины, эквивалентность двухстековой машины МТ]]

*[[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]]

*[[Линейный клеточный автомат, эквивалентность МТ]]

*[[Возможность порождения формальной грамматикой произвольного перечислимого языка]]

Анонимный участник