Participation
Please register for the course to gain access to the Adam workspace.
Lecture slides
| A1 | Organizational Matters | 19.2. | screen print4 print1 |
| A2 | Mathematical Foundations | 19.2. | screen print4 print1 |
| A3 | Proof Techniques | 24.2. | screen print4 print1 |
| B1 | Formal Languages & Grammars | 26.2. | screen print4 print1 |
| B2 | Regular Grammars: ε-Rules | 3.3. | screen print4 print1 |
| B3 | Finite Automata | 3.3./ 5.3 | screen print4 print1 |
| B4 | Finite Automata: Characterization | 5.3. | screen print4 print1 |