Skip to content
flowss
Start freeChecking your session
Graphviz (DOT) templates

Finite Automaton

DFA recognising binary strings divisible by 3.

Graphviz (DOT)MathematicsGraphviz (DOT) syntax docs
Template previewGraphviz (DOT)
Rendering…

Make it your own.

digraph DFA {
  rankdir=LR;
  node [shape=circle];
  init [shape=point];
  q0 [shape=doublecircle, label="q0"];
  q1 [label="q1"];
  q2 [label="q2"];
  init -> q0;
  q0 -> q0 [label="0"];
  q0 -> q1 [label="1"];
  q1 -> q2 [label="0"];
  q1 -> q0 [label="1"];
  q2 -> q1 [label="0"];
  q2 -> q2 [label="1"];
}