Example Data: tmp_hio_machine1_intro.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Simple Machine_1"
%
% Statistics for Simple Machine_1
%
% States: 3
% Init/Marked: 1/3
% Events: 6
% Transitions: 4
% StateSymbols: 3
% Attrib. E/S/T: 6/0/0
%
<Alphabet>
"alpha_1" +UP+ "beta_1" +YP+ "dye_1" +YE+
"due_1" +UE+ "no_op_1" +UP+ "idle_1" +YP+
</Alphabet>
<States>
"I_Y" "I_U" "B_Y"
</States>
<TransRel>
"I_Y" "idle_1" "I_U"
"I_U" "alpha_1" "B_Y"
"I_U" "no_op_1" "I_Y"
"B_Y" "beta_1" "I_U"
</TransRel>
<InitStates>
"I_Y"
</InitStates>
<MarkedStates>
"I_Y" "I_U" "B_Y"
</MarkedStates>
</Generator>