Merge do algoritmo de remoção de estados inatingíveis em FDTMC.