Изменения

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

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

66 байт добавлено, 23:00, 15 января 2016
Примеры неразрешимых задач: добавлен конспект про бред
*[[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]]
*[[Игра «Жизнь»]]<tex>^\star</tex>
*[[Неразрешимость игры Braid]]<tex>^\star</tex>
*[[Теорема Райса-Шапиро]]

Навигация