| |
<Generator> "Det(g_nondet)" % % Statistics for Det(g_nondet) % States: 6 % Init/Marked: 1/2 % Events: 11 % Transitions: 9 % StateSymbols: 6 % Attrib. E/S/T: 0/0/0 % <Alphabet> "f" "g" "h" "i" "a" "b" "d" "e" "j" "k" "m" </Alphabet> <States> "{1}" "{2}" "{5}" "{3,4}" "{6}" "{4}" </States> <TransRel> "{1}" "a" "{2}" "{1}" "e" "{5}" "{2}" "f" "{5}" "{2}" "b" "{3,4}" "{5}" "g" "{6}" "{3,4}" "d" "{4}" "{3,4}" "e" "{1}" "{6}" "h" "{5}" "{4}" "e" "{1}" </TransRel> <InitStates> "{1}" </InitStates> <MarkedStates> "{3,4}" "{4}" </MarkedStates> </Generator>