Removendo transições impossíveis e estados inatingíveis da cadeia.
Ligeira alteração do exemplo.
Abstração da geração de FDTMC a partir de strings.