275
правок
Изменения
м
Нет описания правки
Значит, <tex> \mathrm{REG} </tex> {{---}} надрегулярное множество. А так как <tex> \mathrm{REG'}</tex> является пересечением всех надрегулярных множеств, то <tex> \mathrm{REG'} \subseteq \mathrm{REG} </tex>.
}}
== См. также ==
* [[Детерминированные конечные автоматы]]
== Источники информации ==
