Ни один праволинейный язык не является существенно неоднозначным
 Скачать 2.83 Mb.
|
 На основании отношений предшествования строят матрицу предшествования грамматики Граф, вершины которого соответствуют состояниям автомата, а рёбра — переходам между состояниями – это диаграмма переходов В графе зависимостей циклы зависимостей (также называемые круговыми зависимостями) приводят к ситуации, в которой не существует допустимого порядка оценки, потому что ни один из объектов в цикле не может быть оценен первым Элементы алфавита называются терминальными символами LL-анализатор называется LL(*)-анализатором, если нет строгого ограничения для k и анализатор может распознавать язык, если токены принадлежат какому-либо регулярному множеству (например, используя детерминированные конечные автоматы) Атрибут - дополнительные данные, ассоциированные с грамматическими символами Косвенная (взаимная) рекурсия – это последовательность взаимныхвызовов нескольких функций, организованная в виде циклического замыкания на тело первоначальной функции, но с иным набором параметров S-атрибутивные грамматики - это класс атрибутивных грамматик, характеризующийся отсутствием унаследованных атрибутов Большинство топологических s algorithms также способныобнаруживать циклы во входах, однако может быть нежелательно выполнять обнаружение циклов отдельно от топологических s, чтобы обеспечить соответствующую обработку обнаруженных циклов Унаследованные атрибуты, которые должны передаваться от родительских узлов к дочерним узлы дерева синтакс воздержания во время семантического анализа процесса синтаксического анализа являются проблемой для синтаксического анализа снизу вверх, поскольку при синтаксическом анализе снизу вверхродительские узлы дерева синтакс воздержания создаются после создания всех их потомков Язык НКА является автоматным языком, так как для любого НКА можно построить эквивалентный ему ДКА, а значит, вычислительная мощность этих двух автоматов совпадает Конечные автоматы с выходом в общем случае не поддаются детерминизации Язык называется контекстным языком (контекстно-свободным языком, линейным языком, праволинейным языком), если он порождается некоторой контекстной грамматикой (соответственно контекстно-свободной грамматикой, линейной грамматикой, праволинейной грамматикой) Любой вывод на множестве конфигураций МП-автомата, связывающий начальную конфигурацию С0 ======== с одной из заключительных, называют допускающей последовательностью конфигураций для цепочки х Пересечение автоматных языков является автоматным языком Соответствие операций с языками:  Функциональная схема автомата …  В автомате Мура …  В рекурсии не …  Оценка атрибутов в …  Основным назначением лекси …  Тип синтаксического …  Если две грамматики …  Автомат, принимающий …  Класс контекстно …  Лексема состоит из:  Пример графа переходов … КА  Вывод, в котором …  Компилятор GNU …  Направленный граф …  Граф зависимостей …  Максимальный уровень …  Пусть L …  К наиболее …  Все грамматики …  В L-атрибутивных …  Для грамматик …  Класс грамматик …  Начальное конфигурацией …  Грамматика, имеющая хотя бы одно леворекурсивное правило, не может быть LL(1)-грамматикой Если некоторая функция N n → N может быть задана с помощьюданных примитивов, то она называется рекурсивной Слово, в котором символы, составляющие слово, идут в обратном порядке называют зеркальным образом Конечные автоматы обычно используются для организации и представления потока выполнения чего-либо Все атрибуты нетерминальных символов и символов действияделятся на наследуемые и синтезируемые |