Изменения

Рассмотрим множество всех [[Перечислимые_языки|перечислимых]] языков <tex> \mathrm {RE } </tex>.

|definition='''Свойством языков''' (англ. ''property of languages'') называется множество <tex> A \subset \mathrm {RE } </tex>.

|definition=Свойство называется '''тривиальным''' (англ. ''trivial''), если <tex> A = \varnothing </tex> или <tex> A = \mathrm {RE } </tex>.