3622
правки
Изменения
→FIRST и FOLLOW: добавлены примеры
Другими словами, <tex> \mathrm{FIRST}(\alpha) </tex> {{---}} все символы (терминалы), с которых могут начинаться всевозможные выводы из <tex> \alpha </tex>, а <tex> \mathrm{FOLLOW}(A) </tex> {{---}} всевозможные символы, которые встречаются после нетерминала <tex> A </tex> во всех правилах грамматики.
=== Примеры ===
Множества <tex> \mathrm{FIRST} </tex> и <tex> \mathrm{FOLLOW} </tex> могут отличаться даже для одной грамматики, если она задана разными правилами. Рассмотрим пример двух различных грамматик для языка правильных скобочных последовательностей. * <tex> A \rightarrow (A)A \mid \varepsilon </tex>* <tex> B \rightarrow BB \mid (B) \mid \varepsilon </tex> {| style="background-color:#CCC;margin:0.5px"!style="background-color:#EEE"| Правило!style="background-color:#EEE"| FIRST!style="background-color:#EEE"| FOLLOW|-|style="background-color:#FFF;padding:2px 30px"| A|style="background-color:#FFF;padding:2px 30px"| <tex>\{\ (,\ \varepsilon\ \} </tex>|style="background-color:#FFF;padding:2px 40px"| <tex>\{\ ),\ \$\ \} </tex>|-|style="background-color:#FFF;padding:2px 30px"| B|style="background-color:#FFF;padding:2px 30px"| <tex>\{TODO \ (,\ \varepsilon\ \} </tex>| t style= Какие"background-нибудь примерыcolor:#FFF;padding:2px 30px"| <tex>\{\ (,\ ),\ \$\ \}</tex>|}
== Теорема о связи LL(1)-грамматики с множествами FIRST и FOLLOW ==
