1 
Title 
Application of automata theory 
2 
Course 
4^{th} course, qualification: mathematics, research and development 
3 
Semester 
7 
4 
Credits 
3 
5 
Name and Surname of the lecturer 
PhD, associate professor Suprun Valery Pavlovich

6 
Main goals 
Introduction into automata theory and typical tasks. Evolution of mathematical skills of thinking implementing for typical tasks of logic design.
Mandatory skills for graduate students: – formulize main definitions of automata theory; – implement definitions and propositions for typical tasks of logic design in electronics; – implementation of automata theory into preparing bachelor thesis. 
7 
Knowledge 
Main points of combinatory, mathematical logic, and theory of Boolean functions. 
8 
Сontent 
Definitions and techniques of Mealy and Moore abstract machine. Minimization and design of abstract machine. Structural machines. Canonical approach of design of structural machines. Matrix design of Mealy and Moore abstract machine. 
9 
Literature 
1. Glushkov V.M. Sinthesis of digital machines. M..: Fizmatlit, 1962. 2. Pospelov D.A. Logical methods of analisis and logic circuits. M.: Energia, 1974. 3. Zakrevski A.D. Sinthesis of discrete machines. M.: Nauka, 1971. 4. Suprun V.P. OSnovi matematicheskoi logiki. M.: Lenand / URSS, 2017. 
10 
Form of lectures 
Dialogic, demonstration, heuristic, problematic, researching 
11 
Language 
Russian 
12 
Testing forms 
Theoretical and writing tests 
13 
Form of exam 
Exam (current rating value 0.3), exam value – 0.7 