3622
правки
Изменения
→Пример: исправлена бага в примере
</tex>
Выразим <tex>L_2</tex>из третьего уравнения, подставив <tex> L_1 </tex> из второго:
<tex>L_2 = (00 + 1)L_2+01L_101L_0</tex>.
Так как <tex> \varepsilon \notin (00 + 1) </tex>, то <tex>L_2 = (00+1)^*01L_0</tex>.
<tex>L_0 = 0L_0 + 11L_0 + 10(00+1)^*01L_0 + \varepsilon </tex>.
Решив уравнение, получим что <tex>(0 + 11 + 10(00+1)^*01)^*</tex> {{---}} регулярное выражение, порождающее искомый язык.
== См. также ==
