69
правок
Изменения
Нет описания правки
=====<tex>\Longrightarrow</tex>=====
Докажем индукцией по исполнению алгоритма.<br/>
База: {{---}}} <tex>[S' \rightarrow \cdot S, 0] \in D_0</tex>.<br/>Индукционный переход: пусть Осталось разобраться, в <tex> D_{0},...,D_{j} </tex> нет лишних ситуаций. Пусть включаем результате применения какого правила ситуация <tex>[A \rightarrow \alpha \cdot \beta, i] </tex> попала в <tex>D_{j}<tex><br/tex>. Ситуация может включится одним из трех способов:
1. Включаем по правилу <tex> \mathtt{scan}</tex>.<br/>
