Atualizado com inserções de estados finais e estado inicial