Имя - состояние
Cтраница 2
N есть имя состояния, Dc - множество образцов, характеризующих данное состояние. Никакие два разных состояния не могут иметь одинаковое имя, хотя разные состояния могут иметь одинаковые характеризующие их образцы. Конкретный ар завершает свою работу при переходе в состояние с е Се. [16]
 |
Последовательность моментальных снимков. [17] |
При разработке данной программы, как и любого имитатора, перед нами стоит проблема эффективности. Если на протяжении всего выполнения используются имена состояний, то постоянно требуемый поиск займет значительное время. [18]
В каждом графе выделяют начальную и множество конечных вершин. Метки на дугах могут быть как терминальными символами, так и именами состояний. Во втором случае интерпретация дуги заключается в том, что состояние, к которому она ведет, запоминается в стековой памяти, а управление передается в состояние, являющееся меткой этой дуги. При достижении конечного состояния стек выталкивается и активным становится состояние из верхушки стека. [19]
Рекурсивная сеть переходов ( в дальнейшем просто рекурсивная сеть) - это ориентированный граф с помеченными состояниями и дугами, выделенным состоянием, которое называется начальным, и выделенным множеством состояний, которые называются заключительными. Она имеет по существу такой же вид, как и диаграмма переходов конечного недетерминированного автомата, с тем исключением, что символы при дугах могут быть как терминальными, так и именами состояний. Пустота магазина, обнаруженная при попытке поднять его содержимое в тот момент, когда обработан последний входной символ, есть критерий допустимости входной цепочки. Имена состояний, которые в этой модели могут встречаться на дугах, - это по существу имена конструкций, которые могут быть обнаружены как самостоятельные группы ( phrase) на входной ленте. Переход по дуге, помеченной именем состояния, может произойти, если конструкция указанного типа опознана как группа в соответствующем месте входной цепочки. [20]
Программист, отлаживая программу, может включать по своему усмотрению различные исключительные состояния отладки программы. Каждое исключительное состояние имеет свое имя. Имена состояний являются частью языка. Состояния отладки программы, вычисленные состояния, состояния SIZE включаются всегда явно. [21]
Отрицание предписывает выключить ( подавить) состояние, перед именем которого оно располагается. Если префикс содержит имя состояния без отрицания, такое состояние будет включено. [22]
 |
Спецификация языка для представления РСП. [23] |
Заметим, что звездочка, которая появляется как одна из альтернатив в правой части правила для конструкции ( форма), является терминальным символом, ее не следует путать с верхним индексом, означающим повторение составляющих. Верхняя строка рис. 2 означает, что РСП записывается так: левая скобка, пучок дуг, за которым следует произвольное число ( нуль или более) пучков дуг, затем правая скобка. Пучок дуг в свою очередь записывается: левая скобка, затем имя состояния, затем произвольное число дуг, затем правая скобка, причем дуга может быть записана в одном из четырех видов, указанных в третьем правиле грамматики. Остальные правила интерпретируются аналогичным образом. [24]
Рекурсивная сеть переходов ( в дальнейшем просто рекурсивная сеть) - это ориентированный граф с помеченными состояниями и дугами, выделенным состоянием, которое называется начальным, и выделенным множеством состояний, которые называются заключительными. Она имеет по существу такой же вид, как и диаграмма переходов конечного недетерминированного автомата, с тем исключением, что символы при дугах могут быть как терминальными, так и именами состояний. Пустота магазина, обнаруженная при попытке поднять его содержимое в тот момент, когда обработан последний входной символ, есть критерий допустимости входной цепочки. Имена состояний, которые в этой модели могут встречаться на дугах, - это по существу имена конструкций, которые могут быть обнаружены как самостоятельные группы ( phrase) на входной ленте. Переход по дуге, помеченной именем состояния, может произойти, если конструкция указанного типа опознана как группа в соответствующем месте входной цепочки. [25]
Рекурсивная сеть переходов ( в дальнейшем просто рекурсивная сеть) - это ориентированный граф с помеченными состояниями и дугами, выделенным состоянием, которое называется начальным, и выделенным множеством состояний, которые называются заключительными. Она имеет по существу такой же вид, как и диаграмма переходов конечного недетерминированного автомата, с тем исключением, что символы при дугах могут быть как терминальными, так и именами состояний. Пустота магазина, обнаруженная при попытке поднять его содержимое в тот момент, когда обработан последний входной символ, есть критерий допустимости входной цепочки. Имена состояний, которые в этой модели могут встречаться на дугах, - это по существу имена конструкций, которые могут быть обнаружены как самостоятельные группы ( phrase) на входной ленте. Переход по дуге, помеченной именем состояния, может произойти, если конструкция указанного типа опознана как группа в соответствующем месте входной цепочки. [26]
Страницы: 1 2