Ни один праволинейный язык не является существенно неоднозначным
 Скачать 2.83 Mb.
|
|
Классы языков REG и REG над однозначным алфавитом ... ??? Грамматика S  aSa, S T, T bT, T является …, но не праволинейнойлинейной Входную цепочку х называют допустимой цепочкой МП-автомата М если на множестве конфигураций М существует вывод, связывающий начальную конфигурацию (дг, х, ле) с заключительной конфигурацией (ду, Л, Л), где еу е р, т.е. Пусть L регулярный язык над алфавитом Е, поскольку регурялрый язык является автоматным, то найдется автомат А, допускающий язык L, пусть n-размер автомата удовлетворяет Стек LR-процесса представляет собой слово из терминалов и нетерминалов, которое наращивается с правого конца Если L(G) является регулярным языком, то его дополнение L'(G) также будет регулярным Класс контекстно-свободных (КС) языков состоит из всех языков, порождаемых КС-грамматиками (по русски писали КС) FOLLOW(A). — всевозможные символы, которые встречаются после нетерминала A. во всех небесполезных правилах грамматики Конфликт свёртка-свёртка: в одном состоянии LR(0)-автомата имеются различныепункты. [A → α·] и [B → β·] Множество примитивно рекурсивных функций — это минимальное множество, содержащее все базовые функции и замкнутое относительно указанных операторов подстановки и примитивной рекурсии Входная лента разделяется на клетки (позиции), в каждой изкоторых может быть записан символ входного алфавита Состояния q автомата М и q' автомата М' считаются эквивалентными, если оба автомата, получив одну и ту же (любую) входнуюпоследовательность символов, перерабатывают ее в одинаковую выходную последовательность Операция вычитания не является примитивно-рекурсивной, т.к. она не всюду определена Грамматика называется регулярной, если она или …., или … леволинейная праволинейная Рекурсивные функции – функции, зависящие сами от себя Для любого МП-автомата с допуском по пустому стеку существует эквивалентный МП-автомат, в любом переходе которого на стек кладётся не больше двух символов. Модели автоматов Мура и Мили не являются принципиально. различными, напротив, любая из них может быть сведена к другой. Оценка атрибутов в S-атрибутивных грамматиках может быть удобно включена как в парсинг сверху вниз, так и в парсинг снизу вверх Простой НКА, допускающий цепочки из 0 и 1, заканчивающиеся на 00  В теории автоматов, автомат с магазинной памятью — это конечный автомат, который использует стек для хранения состояний. Если функция определена не для каждого набора чисел, то такие функции будем называть частично определенными арифметическими функциями Грамматика G называется неоднозначной, если существует цепочка w, для которой имеется два или более различных деревьев вывода в G Для любого МП-автомата с допуском по пустому стеку существуетэквивалентный МП-автомат, в любом переходе которого на стеккладётся не больше двух символов Множество регулярных языков REG над алфавитом  = {c_1, c_2,…,ck} —множество, которое может быть получено из языков, каждый из которых содержитединственное слово —c iили  и пустого языка при помощи последовательных применений операций объединения, конкатенации или замыкания Клини и никаких другихЕсли в ячейке записан некоторый входной символ, т.е. символвходного алфавита, то его называют обозреваемым (в данный момент) входным символом  Недетерминированный КА с переходами из одного состояния в разные состояния при одинаковом входном воздействии  Автомат для поиска образца в тексте для строки abbab  Каждый изисходных языков задан конечным автоматом с одним начальным и одним заключительным состоянием Множество {a, abb} является языком над алфавитом ... {a, b} Для определения множества ВЫБОР используются функции ПЕРВ и СЛЕД Регулярное выражение для языка, имеющего входные алфавиты a и b, в котором две буквы a не совпадают  Для слов u=…  Любой регулярный язык является: праволинейным Каждая праволинейная грамматика эквивалентна некоторой праволинейной грамматике в нормальной форме Конечные автоматы можно изображать в виде диаграмм состояний Если язык L является регулярным, то существует число n >= ... такое, что для любого слова uwv из языка L, где….  -1 2 1 Язык {w | w содержит одинаковое количество 1 и 0}. не является регулярным, но язык. {w | w содержит одинаковое число вхождений 01 и 10}. Который таковым является. Упорядоченным помеченным деревом называется упорядоченный граф (V, E), основой которого является дерево и для которого определена функция f : V -> F (функция разметки) для некоторого множества F Регулярное выражение над алфавитом  определяется рекурсивно следующим образом: 0 является регулярным выражением; 1 является регулярным выражением; если  , то a является регулярным выражением; если e и f являются регулярными выражениями, то  ,  и  тоже являются регулярными выражениями.Оператор примитивной рекурсии …  Автомат, принимающий непустые …  Формальный язык L над …  Символ Х …  Если S …  Для того чтобы показать, что какая-либо функция…  LR-процесс называется успешным, если …  Ациклический граф зависимостей …  Никакая … КС  Всякая простая К …  В теории рекурсивных функций, …  Если в процессе LR-разбора …  Формализм атрибутных грамматик …  Математическая модель, …  Как и входная лента, …  Детерминированным конечным автоматом (ДКА) …  Поскольку лемма о разрастании …  В терминах императивного программ. …  Атрибутивные грамматики были изобретены …  L-атрибутивные грамматики – это …  В технике процедурного …  Функции преобразование аргументов …  НКА с начальным …  Класс контекстно-свободных языков …  Грамматику по 3 по Хомскому …  Дерево разбора, в …  Пусть L – регулярный язык над … удовлетворяет условию леммы  Пусть LL – регулярный язык над … n &&&&&&&&&&&&&&& На рисунке представлена матрица смежности графа |