2022-11-21 16:29:52 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
digraph finite_state_machine {
|
2022-11-21 16:29:52 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
fontname="Helvetica,Arial,sans-serif"
|
2022-11-21 16:29:52 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
node [fontname="Helvetica,Arial,sans-serif"]
|
2022-11-24 10:19:37 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
edge [fontname="Helvetica,Arial,sans-serif"]
|
2022-11-24 10:19:37 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
rankdir=LR;
|
2022-11-24 10:19:37 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
node [shape = circle];
|
2022-11-24 10:19:37 +01:00
|
|
|
|
2022-11-30 12:48:53 +01:00
|
|
|
|
|
|
|
4 -> 5 [label = "0/14"];
|
|
|
|
1 -> 5 [label = "0/21"];
|
|
|
|
1 -> 4 [label = "0/1"];
|
|
|
|
3 -> 1 [label = "0/11"];
|
|
|
|
3 -> 2 [label = "0/2"];
|
|
|
|
3 -> 4 [label = "0/5"];
|
|
|
|
2 -> 4 [label = "0/12"];
|
|
|
|
0 -> 1 [label = "0/7"];
|
|
|
|
0 -> 3 [label = "10/10"];
|
|
|
|
0 -> 2 [label = "0/8"];
|
2022-11-24 10:19:37 +01:00
|
|
|
}
|