automata-workshop-remix_17