Изменения

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

Нет изменений в размере, 22:10, 12 декабря 2014

→‎Источники информации

== Источники информации ==

* [https://en.wikipedia.org/wiki/Rice%27s_theorem Wikipedia — Rice's theorem]

* Rice, H. G. "Classes of Recursively Enumerable Sets and Their Decision Problems." Trans. Amer. Math. Soc. 74, 358-366, 1953.

* [https://en.wikipedia.org/wiki/Rice%27s_theorem Wikipedia — Rice's theorem]

* Хопкрофт Д., Мотванн Р., Ульманн Д. Введение в теорию автоматов, языков и вычислений.

[[Категория: Теория вычислимости]]

[[Категория: Теория формальных языков]]

Анонимный участник