В общем, нет.
Но в качестве практического подхода для каждого правила дается грамматика, состоящая в том, чтобы перечислять возможные строки действительных терминалов / нетерминалов, чтобы увидеть, имеет ли какое-либо правило два или более эквивалентных производных (которыебыло бы неоднозначно).
Наш набор инструментов для реинжиниринга программного обеспечения DMS - это система преобразования программ для произвольных компьютерных языков, управляемая явными грамматическими описаниями.DMS использует генератор синтаксического анализатора для управления механизмом синтаксического анализа GLR.
Генератор синтаксического анализатора DMS по выбору выполнит проверку неоднозначности, описанную выше, путем выполнения итеративного углубленного поиска по всем правилам грамматики.Это практично, потому что в нем есть таблицы разбора для эффективного управления перечислением вариантов.Вы можете сказать ему, чтобы выполнить эту проверку до некоторой выбранной глубины.Это может занять много времени, если вы выберете глубину любого интересного размера, но на самом деле глубины 3 или 4 достаточно, чтобы найти много глупых двусмысленностей, введенных в большую грамматику.Обычно мы делаем это во время нашей начальной отладки грамматики, и в тот момент, когда мы думаем, что у нас все в порядке.