gerador de estados sucessores 'concluido'