regAutomata
tests
