Study program: 122 Computer Science
Educational and professional program "Information systems software”
Degree: Bachelor
Type of module: lecture, practical work
Lecturer: Assoc. Prof., PhD Nataliia Khatsko / Доц., к.т.н. Наталія Хацько
Language: Ukrainian & English
Credit Points: 5 ECTS
The aim of the discipline is to obtain the theoretical foundations of the theory of finite automata, the formation of students' practical knowledge and skills necessary for the application of mathematical methods in the design of software systems. Acquiring practical skills in forming the characteristics of a software system using finite automates, using formal methods and models to describe the behavior of software systems, and the ability to create a mathematical model of a software application based on the theory of finite automates. 1. Introduction to the theory of formal proofs 2. Alphabets, grammars and languages 3. Regular expressions, languages. 4. Deterministic finite automata 5. Non-deterministic finite automata 6. Finite automata with epsilon transitions 7. Languages and regular expressions 8. Finite automata and regular expressions 9. Two algorithms for converting a finite automaton into a regular expression 10. Transformation of a regular expression into a finite automaton
Метою дисципліни є отримання теоретичних основ теорії скінченних автоматів, формування у студентів практичних знань та умінь, необхідних для застосування математичних методів при проектуванні програмних систем. Набуття практичних навичок формування характеристик програмної системи за допомогою скінченних автоматів, використання формальних методів і моделей для опису поведінки програмних систем, здатність створювати математичну модель програмного додатку на основі теорії скінченних автоматів. 1. Введення в теорію формальних доказів 2. Алфавіти, граматики та мови 3. Регулярні вирази, мови. 4. Детерміновані скінченні автомати 5. Недетерміновані скінченні автомати 6. Скінченні автомати з епсілон-переходами 7. Мови та регулярні вирази 8. Скінченні автомати та регулярні вирази 9. Два алгоритми перетворення скінченного автомату в регулярний вираз 10. Перетворення регулярного виразу в скінченний автомат