lyzr_experimental_automata
