Изменения

Перейти к: навигация, поиск

Формальные грамматики

1 байт убрано, 06:53, 10 ноября 2011
м
Нет описания правки
{{Определение
|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>
editor
177
правок

Навигация