* Он работает даже с [[Недетерминированные конечные автоматы|недетерминированными конечными автоматами]].
Пусть Введём следующие обозначения:*<tex>\mathcal{A}</tex> {{---}} конечный автомат. ,*<tex>d(\mathcal{A})</tex> {{---}} детерминизированный автомат для <tex>\mathcal{A}</tex>, *<tex>r(\mathcal{A})</tex> {{---}} обратный автомат для <tex>\mathcal{A}</tex>.<br>,Обозначим *<tex>d(rdr(\mathcal{A}))</tex> как <tex>dr(\mathcal{A{---}})результат </tex>, <tex>r(d(r(\mathcal{A})))</tex> как . Аналогично для <tex>rdr(\mathcal{A})</tex>, <tex>d(r(d(r(\mathcal{A}))))</tex> как и <tex>drdr(\mathcal{A})</tex>.
{{Теорема
