let
automata = ref ([],[])