313
правок
Изменения
→Определения
{{Определение
|definition =
'''<tex>\beta</tex> выводится из <tex>\alpha</tex> за один шаг''' (<tex>(\alpha \Rightarrow \beta)</tex>):
# <tex>\alpha=\alpha_1\alpha_2\alpha_3</tex>;
# <tex>\beta=\beta_1\beta_2\beta_3</tex>;
{{Определение
|definition =
'''<tex>\beta</tex> выводится из <tex>\alpha</tex> за ноль или более шагов''' (<tex>(\alpha \Rightarrow^* \beta)</tex>):
<tex>\exists \gamma_1, \gamma_2, \ldots,\gamma_n : \alpha \Rightarrow \gamma_1 \Rightarrow \gamma_2 \Rightarrow \ldots \Rightarrow \gamma_n \Rightarrow \beta</tex> (Рефлексивно-транзитивное замыкание отношения <tex>\Rightarrow</tex>).
}}
