В определении «выводится за ноль или более шагов»: лучше сказать, что существуют такие <tex>c_1, \dots, c_n</tex>, а не что существует такое <tex>n</tex>. <br>
Для символов строки есть стандартное обозначение в виде <tex>\omega[i]</tex>. Не надо придумывать своих обозначений. [[Участник:Leugenea|Евгений Лукьянец]]
А так же: добавить источник. И что это за квадратики слева от формул? Как будто это был список. По-моему, они лишние. Алёна.