3622
правки
Изменения
Нет описания правки
== Теорема о связи LL(1)-грамматики с множествами FIRST и FOLLOW ==
Далее будет показано, как множества <tex> \mathrm{FIRST} </tex> и <tex> \mathrm{FOLLOW} </tex> связаны с понятием LL(1)-грамматики.{{TODO Теорема|id=thLL1 | t statement= <tex>\Gamma = Теорема об \langle \Sigma, N, S, P \rangle</tex> {{---}} LL(1)-грамматикахграмматика <tex> \Leftrightarrow </tex># <tex> A \rightarrow \alpha,\ A \rightarrow \beta, A \in N \ \Rightarrow \ \mathrm{FIRST}(\alpha) \cap \mathrm{FIRST}(\beta) = \varnothing</tex># <tex> A \rightarrow \alpha,\ A \rightarrow \beta, A \in N,\ \varepsilon \in \mathrm{FIRST}(\alpha) \ \Rightarrow \ \mathrm{FOLLOW}(A) \cap \mathrm{TODO FIRST}(\beta) = \varnothing</tex>| t proof= Пара следствий* <tex> \Leftarrow </tex>очевидно* <tex> \Rightarrow </tex>почти очевидно}}=== Следствия ===
== См. также ==
