3622
правки
Изменения
добавлены леммы FOLLOW
== Построение FOLLOW ==
Сформулируем похожие утверждения для построения <tex> \mathrm{FOLLOW} </tex>.
{{Лемма
|id=lemmafollow1
|author=13|statement=Для каждого правила <tex> A \to \alpha B \gamma beta </tex> верно, что <tex>\mathrm{FIRST}(\gammabeta) \subset \mathrm{FOLLOW}(B) </tex>}}{{Лемма|id=lemmafollow2 |author=4|statement=Для каждого правила вида <tex> A \to \alpha B </tex> или <tex> A \to \alpha B \beta,\ \varepsilon \in \mathrm{FIRST}(\beta)</tex> верно, что <tex>\mathrm{FOLLOW}(A) \subset \mathrm{FOLLOW}(B) </tex>
}}
== Пример ==
== См. также ==
