271
правка
Изменения
Нет описания правки
== Определения ==
Рассмотрим множество перечислимых языков <tex> RE </tex>.
{{Определение
|definition='''Свойством языков''' называется множество <tex> A \subset RE </tex>.
}}
{{Определение
|definition=Свойство называется '''тривиальным''', если <tex> A = \varnothing </tex> или <tex> A = RE </tex>.
}}
{{Определение
|definition='''Язык свойства''' <tex> A </tex> {{---}} множество программ, языки которых обладают этим свойством: <tex>L(A) \overset{\underset{\mathrm{def}}{}}{=} \lbrace p | L(p) \in A \rbrace </tex>.
}}
{{Определение
|definition=Рассмотрим множество перечислимых языков <tex>RE</tex>.*Свойством языков называется множество <tex>A \subset RE</tex>.*Свойство <tex>A</tex> называется тривиальным'''разрешимым''', если <tex>A = \varnothing </tex> или <tex>A = RE</tex>.*Языком свойства называется множество программ, языки которых обладают этим свойством: <tex>L(A) \overset{\underset{\mathrm{def}}{}}{=} \lbrace p | L(p) \in A \rbrace </tex>.*Свойство <tex>A</tex> называется является разрешимым (перечислимым), если <tex>L(A)</tex> разрешимо (перечислимо).
}}
== Теорема ==
{{Теорема
|statement=
