МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ

НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА»

Інститут комп’ютерних наук та інформаційних технологій

/назва навчально-наукового інституту/

Кафедра інформаційних систем та мереж

/назва /

«ЗАТВЕРДЖУЮ»

Голова науково-методичної комісії

спеціальності 035 «Філологія»

_______________/_Олена ЛЕВЧЕНКО____/
/підпис/ /ініціали та прізвище /

Протокол від «__»_______ 2023 року №__

РОБОЧА ПРОГРАМА НАВЧАЛЬНОЇ ДИСЦИПЛІНИ

ВБ 1.6. «Формальні мови, граматики та автомати»

/код і назва навчальної дисципліни/
_______________________________ Перший (бакалаврський)_____________________________
/рівень вищої освіти/
вид дисципліни___________________ обов’язкова_______________________________
(обов’язкова / за вибором)
мова викладання___________________українська_______________________________

освітня програма ____ Філологія ____________

/назва /

спеціальність _______________035 Філологія ____ _ ___

/шифр і назва /
галузь знань ________________03 Гуманітарні науки____________________________________
/шифр і назва/

Львів – 2023

1
Робоча програма з навчальної дисципліни «Формальні мови, граматики та автомати»
для здобувачів освіти за освітньою програмою Філологія

Розробники:
Доцент кафедри ІСМ, к.т.н., доцент____________ /__Оксана МАРКІВ /
/посада, науковий ступінь та вчене звання/ /підпис/ /ініціали та прізвище/

Ст. викладач кафедри ІСМ _______________ /__Марія ЗАЯЦЬ /

/посада, науковий ступінь та вчене звання/ /підпис/ /ініціали та прізвище/

Гарант освітньої програми ___________/ Олена ЛЕВЧЕНКО /

Робоча програма розглянута та схвалена на засіданні кафедри ІСМ

Протокол від «_30_»____серпня_____2023 року № _1_

2
 1. Структура навчальної дисципліни

Всього годин
Найменування показників Денна форма Заочна форма
навчання навчання
Кількість кредитів/год. 3/90 3/90
Усього годин аудиторної роботи, у т.ч.: 45 12
 лекційні заняття, год. 15 2
 семінарські заняття, год. - -
 практичні заняття, год. - -
 лабораторні заняття, год. 30 10
Усього годин самостійної роботи, у т.ч.: 45 78
 контрольні роботи, к-сть/год. - 1/10
 розрахункові (розрахунково-графічні) роботи, к-сть/год. 10 -
 курсова робота, к-сть/год. - -
 підготовка до навчальних занять та контрольних заходів,
35 68
год.
Екзамен + +
Залік

Частка аудиторного навчального часу студента у відсотковому вимірі:

 денної форми навчання – ___51,0%______;
 заочної форми навчання – ____13%_______

2. Мета та завдання навчальної дисципліни

2.1. Мета вивчення навчальної дисципліни

Забезпечити студентам здобуття поглиблених теоретичних та практичних знань, умінь
та розуміння для успішного виконання професійних обов’язків за спеціальністю «Філологія»
та підготувати студентів для подальшого навчання за обраною спеціалізацією.
Мета дисципліни - вивчення основних понять, моделей та методів теорії автоматів,
теорії формальних мов і граматик, оволодіння технікою побудови скінченних моделей
розпізнавачів та перетворювачів, розширення теоретичних та практичних навичок у методах
аналізу лінгвістичних одиниць, методах і методиках дослідження мови і літератури,
інформаційно-комунікаційних технологіях.

2.2. Завдання навчальної дисципліни

Вивчення навчальної дисципліни передбачає формування у здобувачів освіти

компетентностей:
загальні компетентності:
К02. Здатність навчатися.
К03. Уміння спілкуватися усно та в письмовій формі рідною мовою;
К05. Уміння ідентифікувати, формулювати та розв’язувати задачі;
К06. Уміння застосовувати знання в практичних ситуаціях;
К08. уміння проводити дослідження на відповідному рівні;
К09. Уміння працювати в команді;

3
К10. Знання та розуміння предметної області та розуміння фаху;
К12. Уміння думати абстрактно, аналізувати та синтезувати;
К14. Уміння працювати самостійно;

фахові компетентності:
ФК01. Здатність використовувати теоретичні та фундаментальні знання в галузі прикладної
лінгвістики для вивчення комп’ютерних систем і технологій, що опрацьовують лінгвальні
дані.
ФК02. Здатність розуміти та уміло використовувати лінгвістичні, математичні та числові
методи в професійній галузі.
ФК03. Здатність розв’язувати широке коло завдань шляхом розуміння їхніх
фундаментальних основ та використання як теоретичних, так і експериментальних методів,
засвоєних з програми філології.
ФК04. Здатність використовувати відповідне програмне забезпечення (мови програмування,
пакети) для проведення лінгвістичних та методологічних досліджень.
ФК05. Здатність опрацювання мовлення, зокрема розпізнавання, розуміння та синтез, пошук
інформації та її аналіз, генерування мови.
ФК15. Здатність шляхом самостійного навчання освоїти нові галузі, використовуючи
здобуті базові знання із філології та прикладної лінгвістики, а також у галузі інформатики й
сучасних інформаційних технологій.

2.3. Результати навчання відповідно до освітньої програми, методи навчання і

викладання, методи оцінювання досягнення результатів навчання

У результаті вивчення навчальної дисципліни здобувач освіти повинен бути здатним:

1) Визначати основні класи граматик, мов та відповідних автоматних моделей.

2) Знати принципи застосування моделей та методів теорії формальних мов при розробці
лексичних та синтаксичних аналізаторів та компіляторів.
3) Вміти застосовувати автоматні моделі при розробці лексичних та синтаксичних
аналізаторів та компіляторів.
4) Обґрунтовувати власний погляд на задачу, спілкуватися з колегами з питань
проектування та розробки програм, складати письмові звіти.
5) Організовувати свою самостійну роботу для досягнення результату.
6) Відповідально ставитися до виконуваних робіт, нести відповідальність за їх якість.

У результаті вивчення навчальної дисципліни здобувач освіти повинен бути здатним

продемонструвати такі результати навчання:

ПР02. Здатність продемонструвати знання та розуміння еволюції парадигм мовознавства

ХІХ-ХХІ століть; мати уявлення про лінгвістику як особливу науку, що вивчає онтологію
мови як системи знаків, її структуру та функціональну спрямованість; розуміти принципи
взаємовпливів мови й суспільства, мови й культури, мови і мислення, мови і релігії, мови та
соціальних стратів; мати уявлення про мову як чинник об’єднання етносу, народу, нації.
ПР03. Здатність продемонструвати знання сучасних наукових лінгвістичних методів, які
застосовують у лексикографії, корпусній та когнітивній лінгвістиці, соціолінгвістиці,
психолінгвістиці, термінології, машинному перекладі та ін.
ПР06. Здатність продемонструвати знання та розуміння методів системного аналізу та
теоретичної кібернетики щодо побудови інформаційних моделей об'єктів та процесів різної
природи.
УМ03. Здатність використовувати знання сучасних методів розроблення та оптимізації
концепцій комп’ютерної реалізації моделей об’єктів і процесів інформатизації

4
УМ11. Уміння редагувати різножанрові тексти українською, англійською та німецькою
(японською) мовами.
УМ12. Здатність використовувати технічні та програмні засоби реалізації інформаційних
процесів; будувати алгоритми для розроблення прикладних програм, що опрацьовують
лінгвальні дані.
УМ13. Здатність застосовувати методи побудови концептуальної, логічної та фізичної
моделей систем баз даних для прикладних програм, що опрацьовують лінгвальні дані.
УМ14. Здатність застосування операційних систем (Windows, Unix тощо), системного
програмного забезпечення, найбільш розповсюджених пакетів прикладних програм,
інформаційних порталів Інтернет, володіння навичками комп’ютерного опрацювання
інформації, створення корпусу бази даних з відповідним маркуванням та індексуванням.

У результаті вивчення навчальної дисципліни здобувач освіти повинен бути здатним

продемонструвати такі програмні результати навчання:

Методи оцінювання
Методи навчання і
Результати навчання рівня досягнення
викладання
результатів навчання

ПР02. Здатність продемонструвати знання та Наочний, словесний, Поточний контроль –

розуміння еволюції парадигм мовознавства практичний. виконання та захист
ХІХ-ХХІ століть; мати уявлення про лабораторних робіт,
лінгвістику як особливу науку, що вивчає усне та фронтальне
онтологію мови як системи знаків, її опитування.
структуру та функціональну спрямованість; Підсумковий
розуміти принципи взаємовпливів мови й контроль: усне
суспільства, мови й культури, мови і опитування, тестовий
мислення, мови і релігії, мови та соціальних контроль.
стратів; мати уявлення про мову як чинник
об’єднання етносу, народу, нації.

ПР03. Здатність продемонструвати знання Наочний, словесний, Поточний контроль –

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

ПР06. Здатність продемонструвати знання та Наочний, словесний, Поточний контроль –

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

5
 2.3. Перелік попередніх та супутніх і наступних навчальних дисциплін

№ Попередні Супутні і наступні

з/п навчальні дисципліни навчальні дисципліни
1. Інтелектуальний аналіз даних

2
Дискретна математика

3. Анотація навчальної дисципліни

Дисципліна є компонентом ОП підготовки фахівців за першим (бакалаврським) рівнем

вищої освіти галузі знань 03 «Гуманітарні науки» зі спеціальності 035 «Філологія».
Теорія формальних мов, граматик і автоматів описує деякі абстрактні машини, здатні
виконувати певні операції над рядками символів. Операції спрямовані на породження текстів
у штучних та природних мовах, а також на розпізнавання належності тексту до конкретної
мови. Описані моделі належать до основних результатів теоретичної інформатики і є
прикладом ефективного застосування математичних методів для формалізації знань із
синтаксичного аналізу та трансляції мов програмування.

4. Опис навчальної дисципліни

4.1. Лекції – 15 год

№ Кількість
п/п Найменування розділів, тем годин
ДФН ЗФН
1. Тема 1. Вступ. Основні поняття формальних мов. (Алфавіт, слово, 1
конкатенація слів, мова. Основні визначення.)
2. Тема 2. Породжувальні граматики. Вивід в граматиці. (Продукція 1 0,5
граматики, термінальні символи, нетермінальні символи, Мова, що
породжується формальною граматикою)
3. Тема 3. Класи граматик та формальних мов. Дерева виведення. 2 0,5
Форма Бекуса – Наура. (Ієрархія Хомського. Контекстно-вільна,
контекстно-залежна, регулярна граматики. Визначення типу граматики)
4. Тема 4. Узагальнене поняття автомата. Використання скінченних 1
автоматів для задач розпізнавання формальних мов. Скінченний
автомат з виходом. (Основні поняття. Графічне та аналітичне подання.
Побудова автоматів з виходом із заданими характеристиками)
5. Тема 5. Недетермінований скінченний автомат без виходу. 1 0,5
(Основні означення. Аналітичне та графічне подання. Визначення мови,
що розпізнається автоматом. Побудова автомату, що розпізнає задану
мову)
6. Тема 6. Детермінований скінченний автомат. Скінченні автомати з 1 0,5
однобуквенними переходами.
(Особливості аналітичного та графічного подання автомата. Побудова
детермінованого скінченного автомата, що розпізнає задану мову)
7. Тема 7. Зв'язок між мовами, граматиками та автоматами. 1
(Побудова автомата, що розпізнає мову, задану регулярною

6
 граматикою. Побудова регулярної граматики, що породжує мову,
розпізнавану заданим автоматом)
8. Тема 8. Видалення непродуктивних та недосяжних станів 1
скінченних автоматів. (Алгоритм визначення недосяжних та
непродуктивних станів.)
9. Тема 9. Алгоритм приведення скінченного автомату до 1
детермінованого виду. (Видалення переходів по порожньому
ланцюжку. Власне детермінізація)
10. Тема 10. Доповнення автоматних мов (Побудова скінченного 1
автомата, що не допускає певної множини ланцюжків)
11. Тема 11. Мінімізація скінченного автомата (Побудова скінченного 1
автомата, що має мінімальну кількість станів)
12. Тема 12. Регулярні вирази та регулярні мови. 1
(Основні визначення. Тотожності для регулярних виразів. )
13. Тема 13. Зв’язок між регулярними виразами та скінченними 1
автоматами. Теорема Кліні. (Побудова за регулярним виразом
відповідного автомата. Побудова за автоматом регулярного виразу)
14. Тема 14. Лема про розростання для регулярних мов 1
(Необхідна умова приналежності мови до того чи іншого класу мов)
Всього годин 15 2

4.2. Лабораторні заняття

№ Кількість годин
Зміст занять
п/п ДНФ ЗНФ
1. Вступне заняття. Інструктаж з техніки безпеки 2
2. ЛР 1. Мови та породжувальні граматики. 2 1,5
3. Захист ЛР 1. 2
ЛР 2. Класи граматик та формальних мов. Дерева виведення.
4. 2 1,5
Форма Бекуса-Наура.
5. Захист ЛР 2. 1
6. ЛР 3. Скінченний автомат з виходом 3 1
7. Захист ЛР 3. 1
ЛР 4. Скінченні детерміновані та недетерміновані автомати. Мова,
8. 3 1
що розпізнається автоматами
9. Захист ЛР 4. 1
10. ЛР 5. Зв'язок між мовами, граматиками та автоматами 4 1,5
11. Захист ЛР 5. 1
ЛР 6. Регулярні вирази. Зв'язок між регулярними виразами та
12. 4 1,5
скінченними автоматами
13. Захист ЛР 6. 1
14. Захист лабораторних робіт 1-6. 3 2
Всього годин 30 10

4.3. Самостійна робота

№ Кількість годин
Найменування робіт
з/п ДФН ЗФН
1. Підготовка до лабораторних занять 10 20
2. Підготовка до лекційного матеріалу 10 8
Виконання розрахункових та контрольних робіт, передбачених
4. 10 10
навчальним планом
5. Підготовка до екзаменаційного контролю 15 30

7
 Усього годин 45 68

5. Опис методів оцінювання рівня досягнення результатів навчання

Діагностика знань відбувається шляхом оцінювання виконаних лабораторних робіт,

розрахункової роботи та екзаменаційного контролю (письмової та усної компоненти) у формі
тестових запитань та практичних завдань.

6. Критерії оцінювання результатів навчання студентів

Максимальна оцінка в балах

Поточний контроль (ПК) Екзаменаційний контроль
Разом за
- виконання лабораторних робіт – 30 Разом письмова усна дисципліну
за ПК компонента компонента
- розрахункова робота – 10
40 50 10 100

Порядок та критерії виставляння балів та оцінок

Оцінювання знань здобувачів освіти відбувається на основі виконання завдань в межах
лабораторних занять (поточний контроль) та виконання екзаменаційного контролю.
Рішення викладача про оцінювання рівня знань та умінь студента виявленого під час
виконання завдань в межах лабораторних занять та екзаменаційного контролю оцінюється за
національною шкалою і 100-бальною шкалою та переводиться у шкалу ECTS відповідно до
такої шкали переведення:
100–88 балів – оцінка А (“відмінно”) виставляється за високий рівень знань
(допускаються деякі неточності) навчального матеріалу модуля, що міститься в основних і
додаткових рекомендованих літературних джерелах, вміння аналізувати явища, які
вивчаються, у їхньому взаємозв’язку і розвитку, чітко, лаконічно, логічно, послідовно
відповідати на поставлені запитання, вміння застосовувати теоретичні положення під час
розв’язання практичних задач;
87–80 балів – оцінка В (“дуже добре”) виставляється за знання навчального матеріалу
модуля вище від середнього рівня, включаючи розрахунки, аргументовані відповіді на
поставлені запитання (можлива невелика кількість неточностей), вміння застосовувати
теоретичні положення під час розв’язання практичних задач;
79–71 бал – оцінка С (“добре”) виставляється за загалом правильне розуміння
навчального матеріалу модуля, включаючи розрахунки, аргументовані відповіді на
поставлені запитання, які, однак, містять певні (неістотні) недоліки, за вміння застосовувати
теоретичні положення під час розв’язання практичних задач;
70–61 бал – оцінка D (“посередньо”) виставляється за посередні знання навчального
матеріалу модуля, малоаргументовані відповіді, слабке застосування теоретичних положень
під час розв’язання практичних задач;
60–50 балів – оцінка Е (“задовільно”) виставляється за слабкі знання навчального
матеріалу модуля, неточні або мало аргументовані відповіді, з порушенням послідовності
викладення, за слабке застосування теоретичних положень під час розв’язання практичних
задач;
49–26 балів – оцінка FX (“незадовільно” з можливістю повторного складання екзамену
чи заліку) виставляється за незнання значної частини навчального матеріалу модуля, істотні
помилки у відповідях на запитання, невміння застосувати теоретичні положення під час
розв’язання практичних задач;

8
 25–00 балів – оцінка F (“незадовільно” з обов’язковим повторним вивченням модуля)
виставляється за незнання значної частини навчального матеріалу модуля, істотні помилки у
відповідях на запитання, невміння орієнтуватися під час розв’язання практичних задач,
незнання основних фундаментальних положень.

7. Навчально-методичне забезпечення

Конспект лекцій, методичні вказівки до виконання лабораторних робіт, методичні

вказівки для дидактичного забезпечення самостійної роботи.
ВНС: https://vns.lpnu.ua/course/view.php?id=10617

8. Рекомендована література

Базова
1 Захарія Л.М. Формальні мови, граматики та автомати. Навчальний посібник. / Л.М.
Захарія, М.М. Заяць. – Львів: Видавництво Львівської політехніки, 2016. – 196с.
2 Захарія Л.М. Теорія формальних мов та автоматів. Методичні вказівки до виконання
лабораторних робіт. / Л.М. Захарія, М.М. Заяць. – Львів: Видавництво Львівської
політехніки 2015. – 60с.
3 Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика:
Підручник. – Львів: "Магнолія Плюс", 2005. – 608с.
4 Ахо А. Компілятори: принципи, технології, інструменти / А. Ахо, Л. Лам, Р. Сеті,
Дж. Ульман, – К: Діалектика, 2020. – 1184 с.
5 Гавриленко С.Ю. Формальні мови, граматики та автомати. Навчальний посібник. /
С.Ю. Гавриленко. – Харків: НТУ “ХПІ, 2021. – 133с.
6 Капiтонова Ю.В. Основи дискретної математики / Ю.В. Капiтонова, С.Л. Кривий,
О.А. Летичевський, Г.М. Луцький, М.К. Печурiн. – К.: Наукова думка, 2002. – 580 c.

Допоміжна
1 Бондаренко М.Ф. Комп’ютерна дискретна математика: пiдручник / М.Ф.
Бондаренко, Н.В. Бiлоус, А.Г. Руткас. – Харкiв: Компанiя СМIТ, 2004. – 480 с.
2 Димо О.Б. Комп’ютерна лінгвістика. Частина 1: Синтаксичний аналіз природних
мов. / О.Б. Димо – Миколаїв, 2010. – 48 c.
3 Гавриленко С.Ю. Теорія цифрових автоматів та формальних мов. Вступний курс /
С.Ю. Гавриленко, А.М. Клименко, Н.Ю. Любченко, В.Г. Смоляр, С.О. Тишко. –
Харків, 2011. – 177с.

9. Інформаційні ресурси
1 Free Course: Software Debugging (Automating the Boring Tasks).
https://www.udacity.com/course/software-debugging--cs259.
2 Free Course: Compilers: Theory and Practice (byGeorgia Institute of Technology)
https://www.udacity.com/course/compilers-theory-and-practice--ud168.

10. Узгодження з іншими навчальними дисциплінами

№ Назва навчальної дисципліни, щодо Прізвище та

Підпис
з/п якої проводиться узгодження ініціали викладача
1. Інтелектуальний аналіз даних Андруник В.А.
2. Організація баз даних та знань Рішняк І.В.

9
 10. Політика щодо академічної доброчесності
Політика щодо академічної доброчесності учасників освітнього процесу формується на
основі дотримання принципів академічної доброчесності з урахуванням норм «Положення
про академічну доброчесність у Національному університеті «Львівська політехніка»
(затверджене вченою радою університету від 20.06.2017 р., протокол № 35).

11. УНІФІКОВАНИЙ ДОДАТОК

Національний університет «Львівська політехніка» забезпечує реалізацію права осіб з

особливими освітніми потребами на здобуття вищої освіти. Інклюзивні освітні послуги надає
Служба доступності до можливостей навчання «Без обмежень», метою діяльності якої є
забезпечення постійного індивідуального супроводу навчального процесу здобувачів освіти з
інвалідністю та хронічними захворюваннями. Важливим інструментом імплементації
інклюзивної освітньої політики в Університеті є Програма підвищення кваліфікації науково-
педагогічних працівників та навчально-допоміжного персоналу у сфері соціальної інклюзії
та інклюзивної освіти. Звертатися за адресою:

вул. Карпінського, 2/4, І-й н.к., кімн. 112

E-mail: nolimits@lpnu.ua

Websites: https://lpnu.ua/nolimits https://lpnu.ua/integration

12. Зміни та доповнення до робочої програми навчальної дисципліни

Примітки
№ Дата і № протоколу
Зміст внесених змін (доповнень) (причини,
з/п засідання кафедри
ініціатори тощо)
1
2
3

10