Изменения

Перейти к: навигация, поиск

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

18 байт убрано, 02:51, 3 января 2014
м
Примеры неразрешимых задач
*[[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]]
*[[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]]
*[[Неразрешимость задачи об эквивалентности КС-грамматик|Задача об эквивалентности Эквивалентность КС-грамматик]]
*[[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]]
*[[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]
403
правки

Навигация