fuzz_automata
