403
правки
Изменения
Нет описания правки
<tex>S - start = x_{S, 1, w[1]} \land x_{S, 2, w[2]} \land \ldots \land x_{S, |w|, w[|w|]} \land x_{S, |w| + 1, B} \ldots \land x_{S, r(n) , B}</tex>.
<tex>F - accept = x_{SF, |w| + 1, \#_y} \lor \ldots \lor x_{SF, r(n), \#_y}</tex>.
