3622
правки
Изменения
Нет описания правки
Корректность данного алгоритма доказывается точно так же, как и корректность алгоритма конструирования <tex> \mathrm{FIRST} </tex>.
== Пример ==
Рассмотрим, как будут строиться множества <tex> \mathrm{FIRST} </tex> и <tex> \mathrm{FOLLOW} </tex> на примере грамматики арифметических выражений. Ограничимся только операциями сложения, умножения и наличием скобок. Числа будем обозначать одной буквой <tex> n </tex> для простоты. Интуитивная грамматики для арифметических выражений выглядит следующим образом:
<tex> E \to E + E \mid E \cdot E \mid (E) \mid n </tex>
== См. также ==
== Примечания ==
