Определение формальных языков при помощи регулярных выражений. Рассмотрение контекстно-свободных грамматик для регулярных языков и метода грамматического разбора сверху-вниз. Алгоритм работы таблично-управляемого анализатора для LL(1)-грамматики.
Аннотация к работе
Итак, множество в алфавите T регулярно тогда и только тогда, когда оно либо , либо {e}, либо {a} для некоторого , либо его можно получить из этих множеств применением конечного числа операций объединения, конкатенации и итерации. формальный контекстный грамматика язык Она строит множество состояний автомата N, в которые есть переход по символу «а» из некоторого состояния, принадлежащего Т. АЛГОРИТМ: 1) заносим в множество Dstates состояние Т = e - closure (s0) и оставляем это состояние не помеченным. Если есть правило AAAB, то в множество follow(B) добавляется множество follow(A). Если есть продукция AAABB и пустая последовательность принадлежит first(b), то в множество follow(B) добавляется множество follow(A).