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