Project for the course 'Machines en Berekenbaarheid' at the University of Antwerp