Изменения

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

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

4 байта добавлено, 22:19, 13 января 2014
Определения
|definition =
'''<tex>\beta</tex> выводится из <tex>\alpha</tex> за ноль или более шагов''' (<tex>\alpha \Rightarrow^* \beta</tex>):
<tex>\exists \gamma_1, \gamma_2,...,\gamma_n : \alpha \Rightarrow \gamma_1 \Rightarrow \gamma_2 \Rightarrow ... \Rightarrow \gamma_n \Rightarrow \beta</tex>(рефлексивно-транзитивное замыкание отношения выводится за 1 шаг(<tex>\alpha \Rightarrow \beta</tex>).
}}
394
правки

Навигация