20
правок
Изменения
digraph finite_state_machine_2 { rankdir=LR; node [shape = doublecircle label = ""]; LR_1 LR_2; node [shape = circle fillcolor = lightgrey label = ""] LR_3; node [shape = circle label = ""] LR_0; {rank=same; "LR_1" "LR_2
digraph finite_state_machine_2 {
rankdir=LR;
node [shape = doublecircle label = ""]; LR_1 LR_2;
node [shape = circle fillcolor = lightgrey label = ""] LR_3;
node [shape = circle label = ""] LR_0;
{rank=same; "LR_1" "LR_2"}
LR_0 -> LR_1 [ label = "a" ];
LR_0 -> LR_2 [ label = "b" ];
LR_1 -> LR_2 [ label = "b" ];
LR_2 -> LR_1 [ label = "a" ];
LR_1 -> LR_3 [ label = "a" ];
LR_2 -> LR_3 [ label = "b" ];
LR_3 -> LR_3 [ label = "a,b" ];
null [shape = point];
null -> LR_0;
}
rankdir=LR;
node [shape = doublecircle label = ""]; LR_1 LR_2;
node [shape = circle fillcolor = lightgrey label = ""] LR_3;
node [shape = circle label = ""] LR_0;
{rank=same; "LR_1" "LR_2"}
LR_0 -> LR_1 [ label = "a" ];
LR_0 -> LR_2 [ label = "b" ];
LR_1 -> LR_2 [ label = "b" ];
LR_2 -> LR_1 [ label = "a" ];
LR_1 -> LR_3 [ label = "a" ];
LR_2 -> LR_3 [ label = "b" ];
LR_3 -> LR_3 [ label = "a,b" ];
null [shape = point];
null -> LR_0;
}
