Cтраница 2
В случае, когда приводимая строка имеет вид (5.43), самой левой первичной фразой может быть либо пара символов ViU, либо пара UTj, либо тройка V UTj. Читателю предлагается самостоятельно убедиться, что другие комбинации символов не могут образовать самую левую первичную фразу. [16]
Небольшие отличия имеет алгоритм распознавателя и таблица порождающих правил. Отыскивая эту фразу и выполняя редукцию, распознаватель не обращает внимания на нетерминальные символы приводимой первичной фразы. Нетерминальные символы учитываются только семантическими подпрограммами, если это необходимо. Поэтому порождающие правила, в правых частях которых имеются лишь нетерминальные символы, вообще никогда не используются распознавателем, и их можно не включать в таблицу порождающих правил распознавателя. В правых частях остальных порождающих правил все различные нетерминальные символы часто можно заменить одним символом, например символом N, обозначающим произвольный нетерминальный символ. [17]
![]() |
Стек и входная строка до и после редукции. [18] |
Алгоритм разбора отыскивает самую левую первичную фразу и состоит в следующем. Часть стека от символа tt -, исключительно, до вершины стека, включительно, есть первичная фраза. [19]