Example Data: tmp_hio_machine2_intro.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Simple Machine_2"
%
% Statistics for Simple Machine_2
%
% States: 3
% Init/Marked: 1/3
% Events: 6
% Transitions: 4
% StateSymbols: 3
% Attrib. E/S/T: 6/0/0
%
<Alphabet>
"alpha_2" +UP+ "beta_2" +YP+ "dye_2" +YE+
"due_2" +UE+ "no_op_2" +UP+ "idle_2" +YP+
</Alphabet>
<States>
"I_Y" "I_U" "B_Y"
</States>
<TransRel>
"I_Y" "idle_2" "I_U"
"I_U" "alpha_2" "B_Y"
"I_U" "no_op_2" "I_Y"
"B_Y" "beta_2" "I_U"
</TransRel>
<InitStates>
"I_Y"
</InitStates>
<MarkedStates>
"I_Y" "I_U" "B_Y"
</MarkedStates>
</Generator>