compiladorAutomata