Изменения
→Определения
Рассмотрим множество всех [[Перечислимые_языки|перечислимых]] языков <tex> RE </tex>.
{{Определение
|definition='''Свойством языков''' (англ. ''property of languages'') называется множество <tex> A \subset RE </tex>.
}}
{{Определение
