Ви переглядаєте архівну версію офіційного сайту НУЛП (2005-2020р.р.). Актуальна версія: https://lpnu.ua

Лінгвістичне забезпечення комп'ютерних систем проектування

Спеціальність: Інформаційні технології проектування
Код дисципліни: 7.122.02.M.17
Кількість кредитів: 5
Кафедра: Системи автоматизованого проектування
Лектор: ст.викладач Панчак Роман Теодорович
Семестр: 2 семестр
Форма навчання: денна
Результати навчання:
-знати основні положення теорії формальних граматик, класифікацію формальних граматик, способи представлення граматики мов;
-знати структуру мовних процесорів, призначення основних частин транслятора;
-знати функціональне призначення, вимоги і особливості вхідних графічних і діалогових мов; мови моделювання, схемотехнічного і конструкторського проектування; внутрішніх, проміжних і вихідних мов САПР.
Необхідні обов'язкові попередні та супутні навчальні дисципліни:
пререквізит: проблемно-орієнтовані мови програмування, теорія алгоритмів
кореквізити: автоматизовані системи технологічної підготовки виробництва.
Короткий зміст навчальної програми:
види забезпечення САПР, мови проектування САПР, процесс компіляції, логічна структура компілятора, теорія формальних мов. скінчені автомати, автомати з магазинною пам’яттю, методи синтаксичного аналізу, синтаксично керований переклад, оптимізація програм.
Рекомендована література:
-Компиляторы: принципы, технологии и инструменты. Альфред В. Ахо, Равви Сети, Джефрфри Д. Ульман. Вильямс, 768с., 2001.
-Ахо А.,Ульман Дж.Теория синтаксического анализа.перевода й компиляции.-М.:Мир І978,Т.1-612с.,Т.2-487с
-Льюис Ф., Розенкранц Д., Стириз Р. Теоретические основы проектирования компиляторов.-М.: Мир, 1979.-654с.
Методи і критерії оцінювання:
• поточний контроль (50%): письмові звіти з практичних робіт, усне опитування;
• підсумковий контроль (50%): диференційований залік.