29
правок
Изменения
см. также
Скомбинировав обе леммы, мы сведем универсальный язык к языку ПСП, а так как универсальный язык неразрешим, то и ПСП — неразрешима.
}}
== См. также ==
* [[Неразрешимость исчисления предикатов первого порядка]]
* [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]
* [[Примеры неразрешимых задач: задача о замощении|Задача о замощении]]
* [[Примеры неразрешимых задач: однозначность грамматики|Однозначность грамматики]]
* [[Неразрешимость задачи об эквивалентности КС-грамматик]]
* [[Неразрешимость проблемы существования решения диофантова уравления в целых числах]]
== Источники информации ==
