| |
<Generator> "G1||G2" % % Statistics for G1||G2 % States: 6 % Init/Marked: 1/2 % Events: 3 % Transitions: 14 % StateSymbols: 6 % Attrib. E/S/T: 0/0/0 % <Alphabet> "g" "a" "b" </Alphabet> <States> "1|1" "2|1" "1|2" "2|2" "3|2" "3|1" </States> <TransRel> "1|1" "g" "2|1" "1|1" "a" "1|2" "2|1" "g" "3|1" "2|1" "a" "3|2" "2|1" "b" "2|1" "1|2" "g" "2|2" "1|2" "a" "1|2" "2|2" "g" "3|2" "2|2" "a" "3|2" "2|2" "b" "2|1" "3|2" "a" "1|2" "3|2" "b" "3|1" "3|1" "a" "1|2" "3|1" "b" "3|1" </TransRel> <InitStates> "1|1" </InitStates> <MarkedStates> "1|2" "2|2" </MarkedStates> </Generator>