Osnova sekce

  • Topics: - Organizational issues: course, exercises, and exams

                - A few words on the history of formal language and automata theory

                - Words, languages, and morphisms

                - Phrase structure grammars, generated language, regular grammar, right normal form

    • AuGLecture1 Soubor

      Slides of Lecture 1

      (Update: March 1, 2018)

    • Material for Seminary Soubor

      How to prove that a grammar generates a given language?

      (Update: Febr. 22, 2018)

    • SS2018_Assignment1 Soubor

      The solutions to these problems are to be presented

      and discussed in the Seminary on March 1, 2018.

      (Update: Febr. 22, 2018)

    • SS2018_A1_SOL Soubor

      This file contains solutions to some selected problems from Assignment 1.