Изменения

Перейти к: навигация, поиск

Решение уравнений в регулярных выражениях

2 байта добавлено, 22:38, 28 октября 2010
Нет описания правки
<tex> 2)</tex> Пусть <tex> \varepsilon \in \alpha</tex>. Выберем в качестве <tex>L</tex> любой язык и предположим, что <tex> \alpha^{*}( \beta + L) </tex> — решение, тогда <tex> \alpha^{*}( \beta + L) </tex> подходит в <tex>X = \alpha X + \beta</tex>. Выберем в качестве <tex>L</tex> любой язык. Тогда для него выполняется: <tex> \alpha^{*} ( \beta + L ) = \alpha \alpha^{*} ( \beta + L ) + \beta \alpha^{*} \beta + \alpha^{*} \alpha </tex> <tex>= \alpha^{+} \beta + \alpha^{*} L + \beta = \alpha^{*} \beta + \alpha^{*} L = \alpha^{*}( \beta + L) </tex>. что и требовалось доказать
}}
Анонимный участник

Навигация