Изменения

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

Свойства перечислимых языков. Теорема Успенского-Райса

13 байт добавлено, 18:58, 20 ноября 2016

м

Нет описания правки

{{Теорема

|statement=

Язык никакого нетривиального свойства <tex>A</tex> не является разрешимым.

|proof=

Приведём доказательство от противного.

129

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55976»