38
правок
Изменения
Нет описания правки
{{Определение
|definition =
Рефлексивно-транзитивное замыкание отношения <tex> \vdash </tex> обозначается как <tex> \vdash^*</tex>. Это отношение называется '''выводится за ноль или более шагов'''.
<!--Говорят, что <tex> \langle p, \beta \rangle</tex> '''выводится за ноль и более шагов''' из <tex>\langle q, \alpha \rangle </tex>, если <tex>\exists c_1, c_2 \ldots c_n</tex>:
* <tex>\langle q, c_1 c_2 \ldots c_n \beta\rangle \vdash \langle u_1, c_2 c_3 \ldots c_n \beta\rangle \vdash \langle u_2, c_3 \ldots c_n \beta\rangle \ldots \vdash \langle u_{n-1}, c_n \beta\rangle \vdash \langle p, \beta \rangle</tex>. -->
