403
правки
Изменения
м
Нет описания правки
Решив уравнение, получим что <tex>(0 + 11 + 10(00+1)^*01)^*</tex> {{---}} регулярное выражение, порождающее искомый язык. Отметим, что длина итогового регулярного выражения заметно короче, чем если бы мы строили его классическим способом.
== См. также ==
* [[Теорема Клини (совпадение классов автоматных и регулярных языков) | Теорема Клини]]
* [[Решение уравнений в регулярных выражениях | Решение уравнений в регулярных выражениях ]]
[[Категория: Теория формальных языков]]
[[Категория: Автоматы и регулярные языки]]
