Изменения

Доказательство, что <tex>\mathrm{AUT} \subseteq \mathrm{REG}</tex> было неправильное: тот алгоритм неправильно вычисляет <tex>\xi_{ijk}</tex> в случаях, когда <tex>i = j</tex>. (Например, регулярное выражение для автомата с одним принимающим состоянием и переходом в само себя уже получится неправильное). — [[Участник:Dmitriy D.|Dmitriy D.]] 21:42, 3 октября 2015 (GST)