527 байт добавлено,
06:54, 14 ноября 2011 === ToDo ===
В определении «выводится за ноль или более шагов»: лучше сказать, что существуют такие <tex>c_1, \dots, c_n</tex>, а не что существует такое <tex>n</tex>. <br>
Для символов строки есть стандартное обозначение в виде <tex>\omega[i]</tex>. Не надо придумывать своих обозначений. [[Участник:Leugenea|Евгений Лукьянец]]