Изменения

<tex>\alpha \Rightarrow^* \beta</tex> ('''<tex>\beta</tex> выводится из <tex>\alpha</tex> за ноль или более шагов'''), если:<br/><tex>\exists \gamma_1, \gamma_2,...,\gamma_n : \alpha \Rightarrow \gamma_1 \Rightarrow \gamma_2 \Rightarrow ... \Rightarrow \gamma_n \Rightarrow \beta</tex>