04-00-0091-vu Automata, Formal Languages and Decidability

Course offering details

Instructors: Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: FGdI I

Subject:

Crediting for:

Hours per week: 3

Language of instruction: German

Min. | Max. participants: - | -

Course Contents:
introduction: transition systems, words, languages; basic mathematical methods and proof patterns; finite automata and regular languages; determinism and nondeterminism, closure properties and automata constructions, Kleene Theorem, Myhill-Nerode Theorem, pumping lemma;
grammars and the Chomsky hierrachy, context-free languages, pumping lemma, CYK algorithm;
models of computation: PDA and Turing machines; decidability and recursive enumerability in the Chomsky hierarchy

Literature:
Schöning: Theoretische Informatik -- kurz gefasst
\newline
Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
\newline
Wegener: Theoretische Informatik -- eine algorithmenorientierte Einführung
\newline
Skript (elektronisch unter www.mathematik.tu-darmstadt.de/˜otto)

Small group(s)
This course is divided into the following small groups:

  • Automata, Formal Languages and Decidability

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Show small group

  • Automata, Formal Languages and Decidability "Ich warte auf eine freie Übung."

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Show small group

  • Automata, Formal Languages and Decidability Übung 01

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [08:00]-Tue, 12. Feb. 2019 [09:40]

    Show small group

  • Automata, Formal Languages and Decidability Übung 02

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [08:00]-Tue, 12. Feb. 2019 [09:40]

    Show small group

  • Automata, Formal Languages and Decidability Übung 03

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [09:50]-Tue, 12. Feb. 2019 [11:30]

    Show small group

  • Automata, Formal Languages and Decidability Übung 04

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [08:00]-Tue, 12. Feb. 2019 [09:40]

    Show small group

  • Automata, Formal Languages and Decidability Übung 05

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Mon, 22. Oct. 2018 [15:20]-Mon, 11. Feb. 2019 [17:00]

    Show small group

  • Automata, Formal Languages and Decidability Übung 06

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [11:40]-Tue, 12. Feb. 2019 [13:20]

    Show small group

  • Automata, Formal Languages and Decidability Übung 07

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [11:40]-Tue, 12. Feb. 2019 [13:20]

    Show small group

  • Automata, Formal Languages and Decidability Übung 08

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [11:40]-Tue, 12. Feb. 2019 [13:20]

    Show small group

  • Automata, Formal Languages and Decidability Übung 09

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [11:40]-Tue, 12. Feb. 2019 [13:20]

    Show small group

  • Automata, Formal Languages and Decidability Übung 10

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [11:40]-Tue, 12. Feb. 2019 [13:20]

    Show small group

  • Automata, Formal Languages and Decidability Übung 11

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Mon, 22. Oct. 2018 [15:20]-Mon, 11. Feb. 2019 [17:00]

    Show small group

  • Automata, Formal Languages and Decidability Übung 12

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [11:40]-Tue, 12. Feb. 2019 [13:20]

    Show small group

  • Automata, Formal Languages and Decidability Übung 13

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [08:00]-Tue, 12. Feb. 2019 [09:40]

    Show small group

  • Automata, Formal Languages and Decidability Übung 14

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Tue, 23. Oct. 2018 [08:00]-Tue, 12. Feb. 2019 [09:40]

    Show small group

  • Automata, Formal Languages and Decidability Übung 15

    Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Wed, 24. Oct. 2018 [15:20]-Wed, 13. Feb. 2019 [17:00]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Fri, 19. Oct. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
2 Fri, 26. Oct. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
3 Fri, 2. Nov. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
4 Fri, 9. Nov. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
5 Fri, 16. Nov. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
6 Fri, 23. Nov. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
7 Fri, 30. Nov. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
8 Fri, 7. Dec. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
9 Fri, 14. Dec. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
10 Fri, 21. Dec. 2018 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
11 Fri, 18. Jan. 2019 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
12 Fri, 25. Jan. 2019 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
13 Fri, 1. Feb. 2019 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
14 Fri, 8. Feb. 2019 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
15 Fri, 15. Feb. 2019 08:00 09:40 S101/A04 ,  S101/A01 ,  S101/A03 Dr. rer. nat. Kord Eickmeyer; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
M.Sc. Jonathan Weinberger
M.Sc. Julian Bitterlich
Dr. rer. nat. Kord Eickmeyer