Изменения

=== Псевдокод ===

Алгоритм строит для каждого нетерминала грамматики <tex>\Gamma = \langle \Sigma, N, S, P \rangle</tex> отображение в множество символов. Перед запуском алгоритма необходимо избавиться от [[Удаление бесполезных символов из грамматики | бесполезных символов]]. Изначально каждое правило отображается в пустое множество.

'''for''' <tex>( A \in N )</tex>

<tex>\mathrm{FIRST}[A] = \varnothing </tex>

<tex> \mathrm{FIRST}[A]\ \cup =\ \mathrm{FIRST}(\alpha) </tex>

changed = ''true'' '''if''' <tex> \mathrm{FIRST}[A] </tex> изменился

{{Утверждение

|id=proposalfirstcorrect

=== Псевдокод ===

Реализация построения <tex> \mathrm{FOLLOW} </tex> получается сразу из [[#lemmafollow1 | лемм]]. Для алгоритма сначала требуется выполнить построение <tex> \mathrm{FIRST} </tex> для грамматики.

'''for''' <tex>( A \in N )</tex>

<tex>\mathrm{FOLLOW}[A] = \varnothing </tex>

<tex> \mathrm{FOLLOW}[B]\ \cup =\ \mathrm{FOLLOW}[A]</tex>

changed = ''true'' '''if''' <tex> \mathrm{FOLLOW}[B] </tex> изменился

Корректность данного алгоритма доказывается точно так же, как и корректность алгоритма конструирования <tex> \mathrm{FIRST} </tex>.