LaTeX——TIKZ 有限状态机

LaTeX中可以使用TikZ来绘制有限状态机。下面是一个简单的例子：

\documentclass{article}
\usepackage{tikz}

\begin{document}
\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,auto]
  \node[state,initial]   (q_0)                {$q_0$};
  \node[state]           (q_1) [above right=of q_0] {$q_1$};
  \node[state]           (q_2) [below right=of q_0] {$q_2$};
  \node[state,accepting] (q_3) [below right=of q_1] {$q_3$};
  \path[->]
    (q_0) edge              node {0} (q_1)
          edge              node [swap] {1} (q_2)
    (q_1) edge              node {1} (q_3)
          edge [loop above] node {0} ()
    (q_2) edge              node [swap] {0} (q_3)
          edge [loop below] node {1} ();
\end{tikzpicture}
\end{document}

这个例子中包含了四个状态：$q_0$、$q_1$、$q_2$和$q_3$。其中$q_0$是初始状态，$q_3$是接受状态。状态之间的转移用带箭头的线表示，例如从$q_0$到$q_1$的转移用`(q_0) edge node {0} (q_1)`表示。

编译上述代码，得到如下的有限状态机：