Finite Automaton (Graphviz)
A deterministic finite automaton with an accepting state.
Rendering…
Make it your own.
digraph DFA {
rankdir=LR;
node [shape=circle, fontname="Inter"];
S2 [shape=doublecircle];
S0 -> S1 [label="a"];
S1 -> S2 [label="b"];
S2 -> S2 [label="b"];
S1 -> S1 [label="a"];
S0 -> S0 [label="b"];
}