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