- Adição de forma inicial para adicionar o automato via especificação