Канонический разбор
Cтраница 2
Относительно гарантий 2 и 3 просто заметим, что алгоритм построения таблиц записывает все и только те решения, которые должны быть приняты для полного множества канонических разборов. [16]
 |
Обобщенный алгоритм канонического разбора. [17] |
Канонический разбор осуществляется обоими методами; успешное возвращение от подцели и подстановка представляют собой действия, соответствующие ШКР. Более того, оба метода приводят к совершенно одинаковым решениям ( а следовательно, и к одинаковому количеству решений), но используют для этого различную информацию. [18]
 |
Обобщенный алгоритм канонического разбора. [19] |
КСФ) имеет однозначный канонический разбор. Поскольку КСФ имеет единственный канонический разбор, она однозначно определяет следующий ШКР. Когда мы знаем С для конкретной грамматики, мы можем легко выводить предложения в соответствии с этой грамматикой. [20]
 |
Характерные значения функции канонического разбора для Р3. [21] |
Мы знаем в общем только то, что функция С существует, а не какие значения она принимает. Единственный способ, который мы предложили для вычисления значений функции, - записывать все шаги всех канонических разборов в таблицу, это невыполнимый метод для бесконечных языков. Мы опишем несколько подобных способов, причем один из них подробно. [22]
Синтез всегда выполняется после преобразований, вызываемых распознаванием части дерева непосредственных составляющих. Операции соотносятся со своими операндами, так как последние располагаются в параллельных стеках напротив соответствующей синтаксической единицы. Порядок выполнения операций определяется как характером канонического разбора ( слева направо), так и переупорядочением, которое подразумевается вложением конструкций непосредственных составляющих в грамматике. [23]
Страницы: 1 2