33. Розпізнавачі та їх складові частини.

Розпізнавані можна розділити на дві категорії: спадні (нисхідні) та висхідні. Кожна категорія характеризується порядком, в якому розташовуються правила в дереві виведення. Спадні розпізнавачі обробляють правила зверху вниз, тобто - верхні правила раніш нижніх, у той час як висхідні розпізнавачі використовують нижні правила раніш тих, які розташовані вище.

У загальному випадку граматика належить до класу LL(K)-граматик, якщо для неї можна побудувати спадний детермінований розпізнавач, що враховує K вхідних символів, розташованих праворуч від поточної вхідної позиції.

До класу LL(1)-граматик належать також розділені та слабкорозділені граматики.

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

34. Скінченні автомати, складові частини та їх характеристика.

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

Акцептори і розпізнавачі

Акцептори і розпізнавачі (також виявлювачі послідовностей) продукують двійковий вихід, кажучи або так або ні на питання прийняті автоматом вхідні дані чи ні. Всі стани СА можуть бути або допустими або ні. Коли всі вхідні дані оброблені, якщо поточний стан є допустимим, значить вхід прийнятий; інакше відхилений.

Перетворювачі (Трансдуктори)

Перетворювачі виробляють вихід, що базується на даному вході і/або на станах з використанням дій. Вони використовуються для керування і в галузі математичної лінгвістики. Тут вирізняють два типи:

Автомат Мура

СА використовує тільки вхідні дії, тобто, вихід базується тільки на стані. Перевагою моделі Мура є спрощення поведінки. Уявімо двері підйомника. Автомат розпізнає дві команди: "відчинити" і "зачинити", які викликають зміну стану. Вхідна дія (E:) в стані «Відчиняються» змушує двигун відчиняти двері, вхідна дія в стані «Зачиняються» змушує двигун зачиняти двері. Стани Відчинено і Зачинено зупиняють мотор коли двері повністю відчинені або зачинені. Вони повідомляють зовнішній світ (наприклад, інші автомати) ситуація: «двері відчинені» або «двері зачинені».

Автомат Мілі

СА, що використовує тільки вхідні дії, тобто, вихід базується на вході і стані. Використання СА Мілі часто призводить до зменшення кількості станів. Приклад на малюнці показує СА Мілі реалізуючий однакову поведінку із прикладом автомата Мура. Присутні дві вхідні дії (I:): «запустити двигун для закриття дверей якщо прийшла команда зачинити» і «запустити мотор в іншому напрямку якщо для відчинення дверей якщо прийшла команда відчинити». Проміжні стани «Відчинення» і «Зачинення» не показані.

35. Огляд процесу компіляції. Типи компіляторів.

Компілятор – це програма, що читає програму записану початковою мовою і записує цільовою мовою. Цей процес називають компіляцією (трансляцією, перекладом). Він складається з двох частин.

Аналіз (parsing) – розбиття початкової програми на складові частини та створення проміжного представлення

Синтез – побудова цільової програми з проміжного представлення

Фази компіляції

Концептуально компілятор працює фазово, в процесі кожної фази відбувається перетворення початкової програми з одного представлення до іншого. Типове розбиття компілятора на фази:

1. Лексичний аналізатор

2. Синтаксичний аналізатор

3. Семантичний аналізатор

4. Генератор проміжного коду

5. Оптимізатор

6. Генератор цільового коду

Види компіляції

• Пакетна. Компіляція кількох вихідних модулів в одному пункті завдання.

• Построкова. Те ж, що й інтерпретація.

• Умовна. Компіляція, при якій транслюється текст залежить від умов, заданих у вихідній програмі директивами компілятора.

Види компіляторів

• Векторизуючий. Транслює вихідний код в машинний код комп'ютерів, оснащених векторним процесором.

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

• Діалоговий.

• Інкрементальний. Повторно транслює фрагменти програми і доповнення до неї без перекомпіляції всієї програми.

• Інтерпретуємий (покроковий). Послідовно виконує незалежну компіляцію кожного окремого оператора (команди) вихідної програми.

• Компілятор компіляторів. Транслятор, що сприймає формальний опис мови програмування і генерує компілятор для цієї мови.

• Налагоджувальний. Усуває окремі види синтаксичних помилок.

• Резидентний. Постійно знаходиться в оперативній пам'яті і доступний для повторного використання багатьма завданнями.

• Самокомпіліючий.

• Універсальний