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