153
правки
Изменения
Нет описания правки
<tex>b</tex> должно сойтись с соответствующей <tex>a</tex> в предыдущем мгновенном описании.
Соответственно, получаем <tex>a_i = d \#_p</tex>, <tex>b_i = \#_q c</tex> и <tex>\delta(q, c) = <\langle p, d, \rightarrow>\rangle</tex>, а также <tex>a_i = \#_p a d</tex>, <tex>b_i a \#_q e</tex> и <tex>\delta (a, c) = <\langle p, d, \leftarrow>\rangle </tex>.
Аналогично поступаем и с переходом на месте, или считаем, что такого не бывает.
