Osnova sekce

  • Important information

    Sbalit vše Rozbalit vše

    Below you will find all the important information including the syllabus, course material, and other resources for the English lecture of the course NTIN071 Automata and Grammars. To access the materials, you need to be added to the group "English lecture" which I will be doing on a rolling basis.

    Please use the discussion forum below for questions regarding our course whenever possible. In other cases, please message me here on Moodle. (If sending a Moodle message is not an option and you need to write me an email, please put "ntin071" in the subject line.)

    Tutorial

    The lecture is accompanied by a tutorial. Obtaining credit for the tutorial is necessary for passing the course. Please direct all questions regarding the tutorial to the instructor of your tutorial. 

    Exam requirements

    Credit for the tutorial is required prior to registration for the exam. The exam consists of a written test and oral examination. Typical questions include: characterizing a given language or grammar with respect to the Chomsky hierarchy, defining a notion, stating and proving a theorem or lemma, applying the theory to answer a general question. More details on the requirements and organization are specified below. Exam dates will be available in the SIS.

    Resources

    The course is based on the textbook "Intro to Automata theory Intro to Automata Theory, Languages, and Computation" by Hopcroft at al (3rd edition).  Several copies are available in the library, including an online copy: https://sfx.is.cuni.cz/sfxlcl3?sid=shorturl&isbn=978-1-292-05616-6

    Our course is based on, and heavily borrows from, the previous courses by Marta Vomlelová, including her slides, and Roman Barták (slides only in Czech, but English exercises).

    Tools
    Office hours
    • Thursday Wednesday 10:40am and Friday 12:20pm (in my office, S124),
    • or at other times - message me in advance to schedule an appointment.

    • Discussion forum for the lecture Fórum
    • All lectures in a single PDF (may be updated) Soubor
    • Information about exams (may be updated towards the end of the semester) Soubor
    • Sample written test Soubor

  • Tutorial by J. Bulín (Mon 12:20 in S11)

  • Lecture 14

  • Lecture 13

  • Lecture 12

  • Lecture 11

  • Lecture 10

  • Lecture 9

  • Lecture 8

  • Lecture 7

  • Lecture 6

  • Lecture 5

  • Lecture 4

  • Lecture 3

  • Lecture 2

  • Lecture 1