Обсуждение:Регулярные языки: два определения и их эквивалентность

• 1. В доказательстве теоремы некоторые символы (типа [math]\forall[/math] и [math]\Rightarrow[/math]) лучше заменить словами, тогда читаться будет легче (это относится в большей степени ко второй части доказательства);
  2. Во втором пункте второй части доказательства: думаю, что [math]L_{1}[/math] и [math]L_{2}[/math] должны лежать всё-таки в [math]Reg'[/math]. И вообще, эта строчка читается ну оооочень тяжело: много формул, и все они сливаются. Евгений Лукьянец