Skip to content
Graphviz (DOT) templates

Finite Automaton (Graphviz)

A deterministic finite automaton with an accepting state.

Template previewGraphviz (DOT)
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"];
}