implementacao do automato