Изменения

<tex>\alpha \Rightarrow \beta</tex> ('''<tex>\beta</tex> выводится из <tex>\alpha</tex> за один шаг'''), если:# <tex>\alpha=\alpha_1\alpha_2\alpha_3</tex> # <tex>\beta=\beta_1\beta_2\beta_3</tex> # <tex>\alpha_1=\beta1</tex> , <tex>\alpha_3=\beta3</tex> , <tex>\alpha_2\rightarrow\beta2 \in P</tex>