Participation
Please register for the course to gain access to the Adam workspace.
Lecture slides
| A1 | Organizational Matters | 16.2. | screen print4 print1 |
| A2 | Mathematical Foundations | 16.2. | screen print4 print1 |
| A3 | Proof Techniques | 18.2. | screen print4 print1 |
| B1 | Formal Languages & Grammars | 2.3. | screen print4 print1 |
| B2 | Regular Grammars: ε-Rules | 4.3. | screen print4 print1 |
| B3 | Finite Automata | 4./9.3. | screen print4 print1 |
| B4 | Finite Automata: Characterization | 9.3. | screen print4 print1 |
| B5 | Regular Languages: Closure Properties and Decidability | 11.3. | screen print4 print1 |
| B6 | Regular Languages: Regular Expressions | 16.3. | screen print4 print1 |
| B7 | Regular Languages: Pumping Lemma | 18.3. | screen print4 print1 |