+gramatica<->automato