Een samenvatting van het vak Automaten en Berekenbaarheid met als bronnen: cursus van Bart Demoen en "Introduction to the Theory of Computing" door Sipser.