DS1FJA - Formal Languages and Automata

Course specification
Course title Formal Languages and Automata
Acronym DS1FJA
Study programme Electrical Engineering and Computing
Module Software Engineering
Type of study doctoral studies
Lecturer (for classes)
Lecturer/Associate (for practice)
    Lecturer/Associate (for OTC)
      ESPB 9.0 Status elective
      Condition Discrete mathematics
      The goal Introduction into theory of formal languages and automata and their significance for computer science.
      The outcome Students should learn the techniques of representing the problems by using of finite automata and techniques of specification of formal languages.
      Contents of lectures Theory of computation. Finite automata. Regular languages and regular grammars. Characteristics of regular languages. Context-free languages. Simplification of context-free grammars. Normal forms. Push-down automata. Characteristics of context-free grammars. Turing machines. Hierarchy of formal languages and automata. Constraints of algorithmic computations. Complexity of computations .
      Contents of exercises
      1. P. Linz, "An Introduction to Formal Language and Automata", 4th ed., Jones & Bartlett Publications, 2006. (Original title)
      Number of hours per week during the semester/trimester/year
      Lectures Exercises OTC Study and Research Other classes
      Methods of teaching Lectures and individual consultations.
      Knowledge score (maximum points 100)
      Pre obligations Points Final exam Points
      Activites during lectures 0 Test paper 0
      Practical lessons 0 Oral examination 50
      Projects 50
      Colloquia 0
      Seminars 0