This repository contains additional material (made by myself) for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak):
- Proofs of theorems and missing constructions (
/Aanvullingen cursus) - A preparation (listing of important matters) for the first quoted exercise session (
/Voorbereiding GOZ1) - The actual first quoted exercise session (
/goz1)