automata: A Python package for simulating and manipulating automata. - Caleb Evans; Eliot Wong Robson (J. Open Source Softw., 2023)