Изменения
→Источники информации
== Источники информации ==
* WeissteinRice, Eric WH. G., "Rice's theoremClasses of Recursively Enumerable Sets and Their Decision Problems."Trans. Amer. Math. Soc. 74, 358-366, MathWorld1953.
* [https://en.wikipedia.org/wiki/Rice%27s_theorem Wikipedia — Rice's theorem]
[[Категория: Теория вычислимости]]
[[Категория: Теория формальных языков]]
