Інформатика

Студент повинен знати: типи мовних процесорів, основні фазикомпіляції, роботу з хеш-таблицями, поняття автоматних і неавтоматних мовта засоби їх представлення, алгоритми перетворення різних форм поданняформальних мов, алгоритми перетворення автоматів (недетермінованогоскінченного автомата в детермінований, алгоритми мінімізації та інші).Студент повинен вміти: розв’язувати задачу належності дляграматик, що розпізнають; генерувати ланцюжки граматик, щопороджують; застосовувати алгоритми перетворення скінченнихавтоматів, право лінійних граматик та регулярних виразів; розроблятивласні найпростіші інтерпретатори.Студенти повинні оволодіти програмним матеріалом, застосуватививчені алгоритми до модельних прикладів, запрограмувати частинуалгоритмів, виконати контрольні роботи, здати залік та іспит.Вивчення дисципліни здійснюється два семестри, в кожному – по тризмістовних модулі:СЕМЕСТР 5ЗМІСТОВИЙ МОДУЛЬ 1«Основні фази мовного процесора»НЕ 1.1. Розробка мовних процесорів мов програмування (загальнийогляд)Поняття мовного процесора. Типи мовних процесорів. Основні фазимовного процесора (лексичний аналіз, робота з таблицями, синтаксичнийаналіз, генерація проміжного коду, оптимізація коду, генерація машинногокоду, аналіз помилок). Спрощена модель компілятора. Проходи компілятора.НЕ 1.2. Організація таблиць імен. Зв’язані динамічні структури даних намові СіТаблиця як структура даних. Класифікація зв’язаних динамічнихструктур даних. Представлення таблиці у вигляді двонапрямногоневпорядкованого списку. Реалізація основних методів для роботи іздвонапрямним невпорядкованим списком на прикладі демонстраційноїпрограми. Представлення таблиці у вигляді бінарного дерева. Програмнареалізація побудови бінарного дерева, пошук і включення елемента іззаданим ключем у дерево, знищення із дерева елемента із вказаним ключем.Таблиці розміщення. Схеми хешування. Хешування зі списками. Алгоритмобчислення адреси хеш-таблиці розміщення в одновимірному випадку.Первинні і вторинні функції розміщення. Ефективність хеш-функцій.ЗМІСТОВИЙ МОДУЛЬ 2«Елементи теорії формальних мов»НЕ 2.1. Формальні мови і граматикиАлфавіт. Ланцюжки. Означення формальної мови. Способи визначеннямов. Граматики, що породжують і розпізнають. Задача належності. Регулярніоперації над мовами. Метамова БНФ. Розширення БНФ. ГраматикиХомського. Спосіб визначення мови за допомогою граматик. Вивідланцюжка в граматиці G і його аналіз. Ієрархія граматик Хомського.НЕ 2.2. Регулярні множини і регулярні вирази