Bei den Automaten handelt es sich um ein Kalkül. Dieses Kalkül, wird auf bis an wenigen flüchtigen Stellen, vollständig und richtig bedient - und es macht den Automaten auch nicht falscher - die Sache in Hardware zu giessen und zu realisieren, ist teil des Kalküls.
Die Aufgaben