Інформатика

Додаткова література:6. О.М. Матвєєв «Механіка і теорія відносності» Київ, «Вищашкола»,1993р.7. Я.Й. Дубчак , П.М. Якібчук «Молекулярна фізика» Київ, НМК ВО ,1993р.8. С.Г. Калашников «Электричество», Москва, «Наука» , 1985г.Для самостійної роботи студентів під час підготовки до виконаннялабораторних робіт та підготовки до захисту лабораторних робіт в«методичних рекомендаціях до виконання лабораторних робіт» приведенарекомендована література для кожної теми роботи.«Системне програмування»189 год. (6 кредитів)У курсі „Системне програмування” розглядаються основніпринципи побудови компіляторів. На початку курсу основні етапироботи трансляторів наводяться оглядово (лексичний аналіз,синтаксичний аналіз, побудова хеш-таблиць, генерація проміжногокоду, генерація машинного коду, аналіз помилок). Далі перерахованіетапи розглядаються більш глибоко. Зокрема, вивчаються елементитеорії формальних мов (форми Бекуса-Наура, регулярні вирази,формальні граматики, зокрема, граматики Хомського) та теоріїскінченних автоматів (розпізнавачі, недетерміновані скінченніавтомати, алгоритми перетворення недетермінованого скінченногоавтомата в детермінований, алгоритми вилучення недосяжних станів,алгоритми мінімізації та інші), які використовуються при лексичному ісинтаксичному аналізі. Наводяться алгоритми, в тому числі іпрограмні, перетворення різних форм представлення формальних мов зодного вигляду в інший, наприклад, регулярного виразу – вправолінійну граматику та навпаки. Нарешті, демонструєтьсязастосування основних принципів побудови компіляторів на прикладірозробки інтерпретатора простої мови програмування SPL.Інтерпретатор має обмежені можливості, і це дозволяє охопити весьпроцес його побудови.Мета курсу: студенти повинні опанувати основні принципи побудовикомпіляторів, елементи теорії формальних мов (регулярні вирази, формальніграматики, зокрема, граматики Хомського, розпізнавачі) та теоріюскінченних автоматів.