regAutomata
