Код: 365470

Назва:

Теорія автоматів

Анотація: Курс "Теорія автоматів" спрямований на вивчення математичних моделей дискретних обчислювальних систем і формальних мов, що лежать в основі сучасної інформатики та програмування. Курс формує у здобувачів теоретичні знання про принципи побудови та функціонування автоматів, а також практичні навички їх застосування для аналізу обчислювальних процесів. У межах дисципліни розглядаються основні типи автоматів: скінчені автомати (детерміновані та недетерміновані), регулярні мови та вирази, контекстно-вільні граматики, автомати з памяттю (зокркма, стекові автомати та машини Тюрінга). Вивчаються питання розпізнавання мов, еквівалентності автоматів, мінімізація станів, а також класи складності та обчислювальні можливості різних моделей. Особлива увага приділяється застосуванню теорії автоматів у прикладній математиці, аналізі алгоритмів, теорії обчислюваності, штучному інтелекті та обробці текстів. Дисципліна сприяє розвитку логічного та алгоритмічного мислення.


Рекомендована література: Основна:
1. Гопкрофт Дж, Мотвані Р., Ульман Дж. Теорія автоматів, мов і обчислень. - Київ : Видавнияий дім "Києво-Могилянська академія", 2019. - 600 с.
2. Сіпсер М. Вступ до теорії обчислень. - Київ : Видавництво "КНУ", 2018. - 520 с.
3. Лінц П. Формальні мови та автомати. - Львів : ЛНУ імені Івана Франка, 2020. - 350 с.

Допоміжна:
1. Esparza J., Blondin M. Automata Theori An Algoritmic Approach. - Cambridge: MIT Press, 2023. - 560 p.
2. Методичні вказівки до курсу "Теорія автоматів" / уклад. І. О. Перов. - Київ : КПІ ім. Ігоря Сікорського, 2022. - 120 сю