Изменения
Нет описания правки
Псевдокод для <tex>A = \mathrm {RE} </tex>
<tex>p_A(p_X)</tex>
'''return ''' ''true'' Псевдокод для программы в общем случае, то есть для проверки того, что язык удовлетворяет свойству. <tex>Lp_A(p_X) \in \mathrm{RE}</tex>Аналогично для строится для '''return''' <tex> L(p_X) \in A = \varnothing </tex>.
{{Определение
|definition='''Язык свойства''' (англ. ''language of property'') <tex> A </tex> {{---}} множество программ, языки которых обладают этим свойством: <tex>L(A) \overset{\underset{\mathrm{def}}{}}{=} \lbrace p \mid L(p) \in A \rbrace </tex>.
