Foreach node Foreach node.transition Matrix(node, transition.event) = transition.destination
Foreach node Foreach event Destination = matrix(node, event) Graph(node).add(event, destination)