Обсуждение:Теорема Клини (совпадение классов автоматных и регулярных языков)

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