método initAutomata()