3622
правки
Изменения
м
→FIRST и FOLLOW
|id=deffirst
|definition=
<tex> \mathrm{FOLLOW}(A) = \{c \mid S \Rightarrow^* \alpha A c \beta \} \cup \{ \$ \ \mathrm{if}\ \S \Rightarrow^* \alpha A \} </tex>
}}
Другими словами, <tex> \mathrm{FIRST}(\alpha) </tex> {{---}} все символы (терминалы), с которых могут начинаться всевозможные выводы из <tex> \alpha </tex>, а <tex> \mathrm{FOLLOW}(A) </tex> {{---}} всевозможные символы, которые встречаются после нетерминала <tex> A </tex> во всех правилах грамматики.
=== Примеры ===
{{TODO | t = Какие-нибудь примеры}}
== Теорема о связи LL(1)-грамматики с множествами FIRST и FOLLOW ==
{{TODO | t = Теорема об LL(1)-грамматиках}}
