Hinzugefügt: Game Design with automata theory