69
правок
Изменения
Нет описания правки
1. Включаем по правилу <tex> \mathtt{scan}</tex>.<br/>
Это произошло, если <tex> \alpha = \alpha ' a</tex>, <tex>a = w_{j-1}</tex> и <tex> [A \rightarrow \alpha ' \cdot a \beta, i] \in D_{j-1}</tex>.<br/>
По предположению индукции <tex>S \Rightarrow^* w_0...w_{i-1} A \delta</tex> и <tex>\alpha' \Rightarrow^* w_i...w_{j-2}</tex>, тогда в силу <tex>a = w_{j-1} </tex> получаем <tex>\alpha = \alpha ' a \Rightarrow^* w_i...w_{j-2}ww_{j-1} = w_i...ww_{j-1}</tex>, что нам .<br/>Таким образом условия: <tex>S \Rightarrow^* w_0...w_{i-1} A \delta</tex> и требовалось<tex>\alpha \Rightarrow^* w_i...w_{j-1}</tex> выполняются.
1. Включаем по правилу <tex>(1)</tex>.<br/>
