Изменения

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

15 байт добавлено, 17:43, 5 января 2017

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

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

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

*[[Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик|~~Пересечение~~ Пустота пересечения КС-грамматик]]

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

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

577

правок