Изменения

Значит, <tex>Reg</tex> {{---}} надрегулярное множество. А так как <tex>Reg'=\bigcap\limits_{\text{R- nadreg}}R</tex>, то <tex>Reg' \subset Reg</tex>.

}}

[[Категория: Теория формальных языков]]

[[Категория: Автоматы и регулярные языки]]