Automata for Rust