ActionAutomata - fixed constructor