Automi

Per disegnare automi a stati finiti (frequenti in teoria della computazione, reti, protocolli) si usa la libreria automata di tikz.

\usepackage{tikz}
\usetikzlibrary{automata, positioning, arrows}

Automa di base

\begin{tikzpicture}[
    ->,
    node distance=3cm,
    every state/.style={thick},
]
    \node[state, initial] (q0) {$q_0$};
    \node[state, accepting, right of=q0] (q1) {$q_1$};

    \path (q0) edge[bend left] node {0} (q1)
          (q1) edge[bend left] node {1} (q0)
          (q0) edge[loop above] node {1} (q0)
          (q1) edge[loop above] node {0} (q1);
\end{tikzpicture}

• initial marca lo stato iniziale (aggiunge la freccia di ingresso).
• accepting marca uno stato finale/accettante (doppio cerchio).
• bend left/loop above controllano la forma della transizione tra due stati o su se stessi.

Suggerimento

Con più di 4-5 stati, posizionare i nodi a mano (right of=, below of=) diventa scomodo. In quel caso conviene disporli su una griglia esplicita con coordinate assolute (\node[state] (q2) at (2,1) {$q_2$};) per avere pieno controllo sul layout.

Pacchetti relativi

• tikz (libreria automata)
• Esempi di automi