333
правки
Изменения
Нет описания правки
{{Определение
|definition =
'''Перечислимый язык''' ('''recursively enumerable language''') {{---}} язык, для которого существует программа <tex>g</tex> такая, что <tex>g(i) = x_i, L = \{x_1, x_2, .., x_n, ..\}</tex>. Язык <tex>L</tex> называется '''коперечислимым''' ('''co{{---}}enumerable'''), если <tex>\overline L</tex> {{---}}перечислимый. Класс всех перечислимых языков называется <tex> \mathrm{RE} </tex>, а всех коперечислимих <tex> \mathrm{co-RE} </tex>.
}}