Ни один праволинейный язык не является существенно неоднозначным
 Скачать 2.83 Mb.
|
 Слово w допускается., является … меткой  Пусть задан алфавитом Е …  DFA и NFA … регулярными  НКА, который распознает … 0 Состояние-подмножество S …  Язык назовем регулярным, … регулярной  КС-грамматика G (VT,VN,P,S) называется ... грамматикой, если множество ее правил вывода Р не содержит (-правил, цепных и бесполезных символов) правосторонней или левосторонней Детерминированный конечный автомат (ДКА) - набор из пяти элементов ⟨Σ,Q,s∈Q,T⊂Q,δ:Q×Σ→Q⟩⟨Σ,Q,s∈Q,T⊂Q,δ:Q×Σ→Q⟩, где: Σ — алфавит Q — множество состояний s — начальное (стартовое) состояние T — множество допускающих состояний δ — функция переходов Символ Х … функциональным  Синтаксический анализатор состоит из: ленты (входного буфера), Стека, Таблицы синтаксического анализа Грамматика S → aS | ε является праволинейной и порождает ... язык {a, n | n >= 0} Регулярный Позволяют определить часть шаблона, которая должна повторяться несколько раз подряд - … кванторы NFA отличается от DFA тем, что может иметь несколько различных вычислений на … одной и той же входной строке Бесконечным словом (или сверхсловом) в алфавите A назовем бесконечную последовательность букв этого алфавита Алгоритм, в определении которого содержится прямой или косвенный вызов этого же алгоритма - … рекурсивный алгоритм Разница между леволинейными и праволинейными грамматиками заключается в основном в том, в каком порядке строятся предложения языка Обращением зеркальным образом (reversal) слова w называется слово, записанное теми же буквами в обратном порядке Каждому языку, который порождается хотя бы одной грамматикой, соответствует сразу … бесконечное множество грамматик Заключительная конфигурация - это конфигурация вида (q, e, u), где q ∈ F, u ∈ Γ∗, т.е. управляющее устройство находится в одном из заключительных состояний, а входная цепочка целиком прочитана Недетерминированный конечный автомат с ε переходами  Пусть L, L1, L2 – языки над алфавитом ∑, тогда операция L1  L2 = { 68; |   L2} – это …Сцепление L1 и L2 Пересечение L1 и L2 Итерация L Разность L1 и L2 Пусть L , L1, L2 – языки над алфавитом ∑, тогда опер. L1  L2 – это …Объединение L1 и L2 Итерация L Усеченная итерация L Разность L1 и L2 Пусть L , L1, L2 – языки над алфавитом ∑, тогда опер. L1  L2 – это …Объединение L1 и L2 Итерация L Усеченная итерация L Разность L1 и L2 Каждый праволинейный язык порождается некоторой однозначной праволинейной грамматикой Грамматика G называется леворекурсивной, если … нетерминал  Диаграммой переходов НКА … ориентированный  МП-автомат … для языка 0n1n недетерминированный   Ab грамматика G - линейная, но не регулярнаяЕсли при задании входного … полувычислима  Алфавитом называется конечное непустое множество Множество всех натуральных чисел … N  Один язык может задаваться множеством регулярных выражений Грамматика G = (VT, VN, P, S) называется грамматикой типа 0  Детерминированный конечный автомат имеет для любого входного символа не более одного перехода из каждого состояния. LALR(1) - восходящий алгоритм синтаксического разбора C(G) - множество состояний ДКА, распознающегоактивные префиксы G; C(0) является начальным состоянием, а tran – функцией переходов При совпадении k-префиксов остатка ввода (ψ и σ) RR- SR-конфликты исключены по определению класса LR(k) Для любых регулярных выражений е …  Лексический блок (далее сканер) осуществляет лексический анализ, т.е. разбивает цепочку символов на слова, из которых она состоит. На рисунке представлено дерево … babbaa  Атрибутная грамматика называется незацикленной, еслиграфы зависимостей деревьев всех цепочек, принадлежащих языку, определяемому грамматикой G, не содержат циклов, и зацикленной, если существует хотя бы одна цепочка, принадлежащая языку, для дерева разбора которой граф D(t) содержит ориентированный цикл. Параллельными называют переходы с общим началом и концом Класс автоматных языков замкнут относительно дополнения и пересечения Класс языков C замкнут относительно операции 0, если для любых языков из C результат операции 0 также принадлежит C. Входной и магазинный алфавиты МП-автомата могут пересекаться идаже совпадать друг с другом Первую ячейкумагазина называют его верхней ячейкой Оператором суперпозиции(подстановки) Snm называется операция подстановки в функцию от m переменных m функций от n переменных Грамматика называется SLR(1), если следующий простой алгоритм парсера LR не приводит к двусмысленности SLR-грамматики - это класс формальных грамматик, принимаемых простым LR –парсером Ввиду высокой сложности построения таблицы разбора для алгоритмов LR(0), SLR(1) и LALR(1) обычно для этого используется генератор анализаторов типа yacc Полный детерминированный конечный автомат не должен содержать переходов с метками длины больше единицы Каждое регулярное выражение e над алфавитом Σ задаёт некоторый язык над алфавитом Σ (обозначение L(e)) Любой входной символ, символ действияили нетерминальный символ имеет конечное множество атрибутов Дуга связывает два узла тогда и толькотогда, когда между ними есть зависимость по данным: запись-чтение чтение-запись запись-запись Для всякой строки w ∈ Σ∗, состояние-подмножество, достигаемое DFA по прочтении строки w, содержит элемент q тогда и только тогда, когда хотя бы одно из вычислений NFA на w заканчивается в состоянии q Отношение непосредственной выводимости на множестве конфигураций МП-автомата М обозначаем м, используя запись С мС' Для преобразования НКА в ДКА используется алгоритм … Томпсона Диаграмма автомата с магазинной памятью  Для любой КС-грамматики можно построить соответствующий расширенный МП-автомат и наоборот Класс контекстно-свободных языков замкнут относительно объединения Грамматику типа 3 (регулярную, Р-грамматику) можно определитькак праволинейную либо как леволинейную Говорят, что слово х – подслово (конец) слова у, если y=ux для некоторых слов u Для автомата Р1 и Р2 эквивалентны , если ониопределяют один и тот же язык: L(P1)=L(P2) Общий случай проявления рекурсивности может бытьсформулирован как наличие циклических взаимных обращений в определении объекта, которые в итоге замыкаются на сам объект FIRST(A) - все символы (терминалы), с которых могут начинаться всевозможные выводы из α Если дана атрибутная грамматика AG и цепочка, принадлежащая языку, определяемому G, то можно построить дерево разбора этой цепочки в грамматике G Над языками можно выполнять теоретико-множественные операции: пересечение, объединение, разность Пример графа переходов недетерминированного КА ссамопроизвольными переходами |