14. Дайте визначення ланцюжка, мови. Що таке синтаксис і семантика мови ?

Ланцюг – це послідовність, в котру можуть входити будь-які допустимі символи. Мова -  система звукових і графічних знаків, що виникла на певному рівні розвитку людства, розвивається і має соціальне призначення; правила мови нормалізують використання знаків та їх функціонування як засобів людського спілкування. Мова — це найважливіший засіб спілкування і пізнання. Синтаксис мови – це набір правил, визначаючий допустимі конструкції мови. Семантика мови – це розділ мови, визначаючий значення припустимостей мови.

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

16. Перетворення граматик.

За КВ-граматикою G = (N, T, P, S) побудувати КВ-граматику G' = (T', N', P', S), що не має недосяжних символів, для якої L(G) = L(G'). Символ A  N називається непродуктивним у граматиці G = (N, T, P, S), якщо множина {   T^* | A   } порожня. Алгоритм видалення непродуктивних символів: За КВ-граматикою G = (N, T, P, S). Вихід: КВ-граматика G' = (T, N', P', S), що не має непродуктивних символів, для якої L(G) = L(G').

17. Що таке розпізнавач. У чому полягає задачі розбору ?

Розпізнавач – це спеціальний автомат, який дозволяє визначати належність ланцюжка символів деякої мови. Завдання розбору полягає у відновленні дерева виводу для заданої сентенції. Розбір - це побудова виводу для заздалегідь заданого ланцюжка. Іншими словами, розбір - це той же вивід, простежений у зворотному порядку.

18. Формальне визначення автомата.

Автомат – обчислювальна машина, представлена у вигляді математичної моделі - і завдання, яке він може вирішувати.

19. Що таке скінченний автомат? Дайте визначення детермінованого й не детермінованого скінчених автоматів.

Скінче́нний автома́т, є особливим видом автомату — абстракції, що використовується для описання шляху зміни стану об'єкта в залежності від досягнутого стану та інформації отриманої ззовні. Його особливістю є скінченність множини станів автомату. Поняття скінченного автомата було запропоновано в якості математичної моделі технічних приладів дискретної дії, оскільки будь який такий пристрій (в силу скінченності своїх розмірів) може мати тільки скінченну кількість станів.

Детермінований скінченний автомат (ДСА) — скінченний автомат, який приймає скінченний рядок символів. Для кожного стану існує стрілка переходу в наступний стан для кожного символу. По прочитанню символу, ДСА перестрибує детерміновано з одного стану в інший за відповідною стрілкою. 

Автома́т недетерміно́ваний — автомат, який при даному вхідному символі і внутрішньому стані може переходити в декілька різних внутрішніх станів. Формально, недетермінований автомат — це п'ятірка <X, Y, Q, Φ, Ψ>, така, що відображення Ψ: X × Q → Q не є однозначним.

20. Скінченний автомат. Описати характеристики скінченного автомата.

Скінченні автомати можуть розв'язувати велику кількість задач, серед яких автоматизація проектування електронних приладів, проектування комунікаційних протоколів, синтаксичний аналіз та інші інженерні застосування. В біології і дослідженнях штучного інтелекту, автомати або їх ієрархії іноді використовуються для описання неврологічних систем і в лінгвістиці для описання граматики природніх мов.