Finite Automaton (DFA)

A DFA accepting binary strings that end in 01.

Graphviz (DOT)Mathematics Graphviz (DOT) syntax docs

Template previewGraphviz (DOT)

Rendering…

Make it your own.

digraph DFA {
  rankdir=LR;
  node [shape=circle, fontname="Helvetica"];
  start [shape=point];
  q2 [shape=doublecircle];

  start -> q0;
  q0 -> q1 [label="0"];
  q0 -> q0 [label="1"];
  q1 -> q1 [label="0"];
  q1 -> q2 [label="1"];
  q2 -> q1 [label="0"];
  q2 -> q0 [label="1"];
}