Inclusão do manual de automata