TI by Emil

Theoretical Computer Science

Emil VinuETH Zürich

Hi, I'm Emil, TA-ing TCS in HS26.

I aim to keep this website exhaustive, i.e. containing literally everything you will need to prepare for midterm, endterm or Sessionsprüfung.

In case you have any questions, feel free to hit me up!

When
Wednesdays, 16:15 – 18:00
Where
HG D 3.1
Replacement
Tuesday 29 Sept, 14:00 – 16:00
Where
LFW B 2

Sessions

1

Alphabete, Wörter und Sprachen

Alphabete, Wörter, Sprachen, Konkatenation, Kleene-Stern, Homomorphismus, EA Basics.

2

Endliche Automaten

Definition EA, Berechnungen, Konfigurationen, Transitionsfunktion, Produktautomaten.

3

Nichtregularität beweisen

Nichtregularität mit Lemma 3.3 und dem Pumping-Lemma, Einführung NEA.

4

Nichtdeterminismus

Nichtdeterministische Endliche Automaten, Myhill-Nerode, Potenzmengenkonstruktion, Einführung Turingmaschinen.

5

Turingmaschinen

Mehrband-TM, Church'sche These, nichtdeterministische TM, Kodierung, Worked Example zum Pumping-Lemma.

6

Midterm-Vorbereitung

Aufgaben aus alten Prüfungen, typische Fehler, offene Fragen.

Resources