69
правок
Изменения
Нет описания правки
2. Включаем по правилу <tex> \mathtt{predict}</tex>.<br/>
По построению: <tex> \alpha = \varepsilon </tex> и <tex>i=j</tex>, что автоматически влечет второй пункт утверждения.<br/>
Кроме того <tex>\exists i' \le i</tex> и ситуация <tex>[A' \rightarrow \alpha ' \cdot A \delata delta ', i'] \in D_i</tex>, из чего по предположению индукции следует S \Rightarrow^* w_0...w_{i'-1} A' \delta ''</tex>
и <tex> \alpha ' \Rightarrow^* w_{i'}...w_{i-1})
Получаем, что <tex>S \Rightarrow^* w_0...w_{i'-1} A' \delta '' \Longrightarrow S \Rightarrow^* w_0...w_{i'-1} \alpha' A \delta' \delta '' \Longrightarrow S \Rightarrow^* w_0...w_{i'-1} w_{i'}...w_{i-1} A \delta' \delta ''
