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

ToDo

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

А так же: добавить источник. И что это за квадратики слева от формул? Как будто это был список. По-моему, они лишние. Алёна.