Изменения

Мы получили [[Решение уравнений в регулярных выражениях#Решение системы уравнений в регулярных выражениях | систему]] из <tex>n</tex> регулярных выражений с <tex>n</tex> неизвестными, причем для всех <tex> i </tex> и <tex> j </tex> <tex> \epsilon \notin \alpha_{ij}</tex>, так как в автомате нет <tex> \epsilon </tex>-переходов, следовательно, система имеет единственное решение. Также заметим, что <tex>L_0</tex> содержит слова, по которым из стартового состояния можно дойти до терминального, но тогда <tex>L_0 = L</tex>.

}}