mT.xml : Caso ideal, con y definidos correctamente mT1.xml : No definidos y , pero las transiciones son correctas mT2.xml : definido, pero es un archivo distinto mT3.xml : definido, pero no lo esta mT4.xml : y definidos correctamente, pero las transiciones estan errados mtbase.dtd : Base para validar xml