Изменения

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

180 байт добавлено, 01:15, 3 января 2014

→‎Примеры неразрешимых задач

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

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

*[[Неразрешимость задачи об эквивалентности КС-грамматик|Задача об эквивалентности КС-грамматик]]

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

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

403

правки