Beschreibung
Die Markov-Transitionsmatrix ist eine -Matrix, die beschreibt, welche Teilmengen einer Markov-Zerlegung auf welche anderen Teilmengen abgebildet werden können.
Die Matrix lässt sich als eine Adjazenzmatrix interpretieren und der Graph gibt einen Automat, zur Konstruktion aller möglichen P-Name.