Обсуждение:Недетерминированные конечные автоматы

ToDo

В определении «выводится за ноль или более шагов»: лучше сказать, что существуют такие [math]c_1, \dots, c_n[/math], а не что существует такое [math]n[/math].
Для символов строки есть стандартное обозначение в виде [math]\omega[i][/math]. Не надо придумывать своих обозначений. Евгений Лукьянец