Т.о. для каждой конфигурации может быть применена единственная команда детерминированного распознавателя.

3.4. Множество выбора

Класс грамматик, порождающих детерминированные языки образуют также слаборазделенные грамматики. Этот класс допускает аннулирующие правила в схеме грамматики. Однако, не всякая разделенная грамматика с аннулирующими правилами относится к классу слаборазделенных грамматик.

3.4.1. Функции ПЕРВ, СЛЕД и множество ВЫБОР

Множество ВЫБОР строится для каждого правила и включает те терминальные символы, при появлении любого из которых под читающей головкой распознаватель должен применять это правило.

Для определения множества ВЫБОР используются функции ПЕРВ и СЛЕД . Аргументом функции ПЕРВ может быть любая цепочка полного словаря µ, а значением является множество терминальных символов, которые могут стоять на первом месте в цепочках, выводимых из цепочки µ.

3.4.2. Построение функции ПЕРВ(µ)

Значение функции ПЕРВ(μ) можно определить с помощью следующих правил: 1) Если цепочка µ начинается терминальным символом и имеет вид bµ', то

ПЕРВ(µ) = {b},

2) Если цепочка µ является пустой цепочкой, µ = $, то

ПЕРВ(µ) = ,

3) Если цепочка µ начинается нетерминальным символом <B> и имеет вид <B>µ', а в схеме грамматики имеется n правил, в левых частях которых находится символ <B>:

<B> → α1 | α2 | ... | αn ,

и, если не существует вывода <B> ==>* $, то функция ПЕРВ(<B>µ') представляет собой объединение множеств:

ПЕРВ(<B>µ') = ПЕРВ(α1) ПЕРВ (α2) ... ПЕРВ(αn),

4) Если цепочка µ начинается нетерминальным символом и имеет вид <B>µ', в схему грамматики входят n правил вида

<B> → α1 | α2 | ... | αn ,

31