Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Формальные грамматики
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>
Leugenea
editor
177
правок
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы