digraph g {
__start0 [label="" shape="none"];
- s0 [shape="circle" label="s0"];
- s1 [shape="circle" label="s1"];
- s2 [shape="circle" label="s2"];
- s3 [shape="circle" label="s3"];
- s4 [shape="circle" label="s4"];
+ s0 [shape="circle" label="0"];
+ s1 [shape="circle" label="1"];
+ s2 [shape="circle" label="2"];
+ s3 [shape="circle" label="3"];
s0 -> s1 [label="SYN / SYN-ACK"];
s0 -> s3 [label="ACK / ERR"];
s0 -> s3 [label="DAT / ERR"];
s0 -> s3 [label="FIN / ERR"];
s1 -> s3 [label="SYN / ERR"];
s1 -> s3 [label="ACK / ERR"];
- s1 -> s4 [label="DAT / ACK"];
+ s1 -> s1 [label="DAT / ACK"];
s1 -> s0 [label="RST / Reset"];
s1 -> s2 [label="FIN / ACK"];
s2 -> s2 [label="SYN / Closed"];
s3 -> s3 [label="DAT / ERR"];
s3 -> s3 [label="RST / ERR"];
s3 -> s3 [label="FIN / ERR"];
- s4 -> s3 [label="SYN / ERR"];
- s4 -> s3 [label="ACK / ERR"];
- s4 -> s4 [label="DAT / DATA"];
- s4 -> s0 [label="RST / Reset"];
- s4 -> s2 [label="FIN / ACK"];
__start0 -> s0;
}