3622
правки
Изменения
→Свойства языков
|definition='''Свойством языков''' (англ. ''property of languages'') называется множество <tex> A \subset \mathrm {RE} </tex>.
}}
{{Определение
|definition=Свойство называется '''тривиальным''' (англ. ''trivial''), если <tex> A = \varnothing </tex> или <tex> A = \mathrm {RE} </tex>.
}}
=== Примеры ===
'''Примеры свойств''':
* Язык должен содержать слово ''hello''.
* Язык должен содержать хотя бы одно простое число.
Псевдокод для разрешителя <tex>L(A)</tex>, где <tex>A = \mathrm {RE}: </tex>
<tex>p_A(p_X)</tex> <font color="green"> // <tex>p_X</tex> {{---}} перечислитель полуразрешитель некоторого языка</font>
'''return''' ''true''
