Изменения

Перейти к: навигация, поиск
м
Дерево разбора
Построим левое порождение цепочки <tex>\omega</tex> следующим образом:
:Начнем с шага <tex>A \Rightarrow_{lm} X_1X_2\dots X_k</tex>.
:Затем для <tex>i = 1, 2, \dots, k\ </tex> покажем, что имеет место следующее порождение: <tex>A \Rightarrow^{*}_{lm} \omega_1\omega_2\dots\omega_iX_{i+1}X_{i+2}\dots X_k</tex>
Данное доказательство использует в действительности еще одну индукцию, на этот раз по <tex>i</tex>.
385
правок

Навигация