9. Які калси граматик існують ? Які граматики відносяться до класу регулярних граматик ?

7-

• Праволінійна граматика. Всі правила мають вигляд:

або

• Ліволінійна граматика. Всі правила мають вигляд:

або

10.Що таке ланцюжки виводу та сентенціальна форма ? Опишіть проблеми однозначності і еквівалентності граматик.

Ланцюжки виводу – це певні послідовності символів, які виводяться у належному порядку. Сентенціальна форма – це ціпка, яка виводиться із початкового не термінала граматики G.

Синтаксичні визначення встановлюють правила побудови елементів мови. Семантика визначає зміст і правила використання тих елементів мови, для яких були дані синтаксичні визначення.

11 (8). Опишіть способи представлення граматики мов. Що таке синтаксичні діаграми ?

_{Синтаксична діаграма - це спрямований граф з одним вхідним ребром і одним вихідним ребром і позначеними вершинами. Синтаксична діаграма задає мову. Ланцюжок позначок при вершинах на будь-якому шляху від вхідного ребра до вихідного - це ланцюжок мови, що задається синтаксичної діаграмою. Тому можна вважати, що синтаксична діаграма - це одна з форм породжує граматику автоматних мов. Синтаксичні діаграми і кінцеві автомати мають тісний зв'язок: будь-яка автоматична мова задається синтаксичною діаграмою і навпаки, по будь-якій синтаксичної діаграмі можна побудувати кінцевий автомат (у загальному випадку недетермінірованний), що розпізнає ту ж мова, яку задає діаграма.}

12. Дерево синтаксичного розбору. Перехід від дерева до правил формальної граматики.

У мовах, породжених контекстно вільними граматиками, виведення можна зображати графічно за допомогою орієнтованих кореневих дерев. Їх називають деревами виведення, або деревами синтаксичною розбору.

Кореню цього дерева відповідає початковий символ, внутрішнім вершинам нетермінальні символи, що зустрічаються у виведенні, листкам SA Ba bCc bтермінальні символи. Нехай ланцюжок і Aпродукція, використана у виведенні. Тоді

вершина, що відповідає нетермінальному символу A, має синами вершини, які відповідають кожному символу ланцюжка в порядку зліва направо.

Наприклад, визначимо, чи ланцюжок cbab належить мові, породженій граматикою

G = (V, T, S, P), де V = {a, b, c, A, B, C, S}, T = {a, b, c}, S початковий символ, а множина продукцій P = { SAB, A Ca, B Ba, B Cb, B b, C cb, Cb}.

13. Як виглядає опис граматики у формі Бєкуса-Наура.

Форма Бекуса - Наура (скор. БНФ , Бекуса - Наура форма) - формальна система опису синтаксису , в якій одні синтаксичні категорії послідовно визначаються через інші категорії . БНФ використовується для опису контекстно- вільних формальних граматик . Існує розширена форма Бекуса - Наура , що відрізняється лише більш ємними конструкціями. БНФ - конструкція визначає кінцеве число символів ( нетерміналів ) . Крім того , вона визначає правила заміни символу на якусь послідовність букв ( терміналів ) і символів. Процес отримання ланцюжка букв можна визначити поетапно: спочатку є один символ ( символи звичайно полягають в кутові дужки , а їх назва не несе жодної інформації). Потім цей символ замінюється на деяку послідовність букв і символів , відповідно до одного з правил. Потім процес повторюється (на кожному кроці один із символів замінюється на послідовність , згідно з правилом ) . Зрештою , виходить ланцюжок , що складається з букв і не містить символів. Це означає , що отримана ланцюжок може бути виведена з початкового символу .