DatZ2029: Formal Grammars

Spring 2020

The course has both theoretical and practical parts.

Instructor: Dr. Abuzer Yakaryilmaz

Topics: Regular grammars, automata models with memory, Turing machines, computability, and the basics of probabilistic systems and quantum systems.

Schedule (the upcoming meetings will be announced):

  • 14:30 – 18:05, March 19, 2020: The fourth lab: Quantum protocols
  • 14:30 – 18:05, March 17, 2020: The third lab: Review on quantum systems
  • 14:30 – 16:10, March 10, 2020: The first exam
  • 10:00 – 17:00, Feb 29, 2020: The second lab: Basics of quantum systems
  • 14:30 – 16:10, Feb 27, 2020: The first theory session
  • 10:00 – 17:00, Feb 22, 2020: The first lab: Probabilistic systems
  • 14:30 – 18:00, Feb 6, 2020: Preparation for the labs: Basic math
  • 12:30 – 14:10, Feb 5, 2020: The first meeting and installation

Grading: We have two exams (E1 and E2) and Laboratory Works (LW) during the semester. Their weights are 30%, 30%, and 40%, respectively, in the final grade.

There is also a final exam. The exams E1 and E2 can be retaken during the final exam.

Course Materials:

  • Lecture notes during the class.
  • https://gitlab.com/qkitchen/basics-of-quantum-computing
  • Michael Sipser “Introduction to the Theory of Computation”, 3rd Edition (International), Cengage Learning, 2012.
  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman “Introduction to Automata Theory Languages and Computation”, 3rd Edition, Addison-Wesley, 2007

Office hour: Ask an appointment in advance by sending an email to abuzer [at] lu.lv