Move automata library