Изменения

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

Нет изменений в размере, 02:40, 23 января 2012

→‎Теорема Успенского-Райса

{{Теорема

|statement=

~~Никакое нетривиальное свойство языков~~ Язык никакого нетривиального свойства не является разрешимым.

|proof=

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

271

правка