与此图像类似的有限自动机包

Question

在一些投影仪幻灯片中我发现了几个与这个类似的有限自动机：

如何在 Latex 中重现该样式？我应该设置哪个包和配置？

TikZ 应该是可行的方法，但实际上我没有找到任何配置来获取确切地相同的风格。也许我没有深入地检查文档。

编辑：

使用 TikZ 的最小工作示例，复制上图中的自动机：

\documentclass{article}

\usepackage{tikz}
\usetikzlibrary{automata,positioning}
\begin{document}
    \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,auto] 
    \node[state,initial] (0)   {$0$}; 
    \node[state,accepting](1) [right=of 0] {$1$};
    \path[->] 
    (0) edge  node {$G$} (1)
        edge [loop above] node {not $G$} (0)
    (1) edge [loop above] node {true} (1);
    \end{tikzpicture}
\end{document}

这使：

Answer 1

欢迎来到 TeX.SE！制作类似的东西相当简单。

\documentclass{article}

\usepackage{tikz}
\usetikzlibrary{automata,positioning,shadows.blur}
\begin{document}
    \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,auto,font=\sffamily] 
    \node[state,blur shadow,fill=white] (0)   {$0$}; 
    \node[state,accepting,blur shadow,fill=white](1) [right=of 0] {$1$};
    \draw[thick,latex-] (0.210) -- ++(210:0.5);
    \draw[thick,rounded corners=3mm,-latex](0.north) -- ++(135:1) -- ++(-135:1) 
    node[midway,above left]{not G}  -- (0.west);
    \draw[thick,rounded corners=3mm,-latex](1.east) -- ++(45:1) -- ++(150:1) 
    node[midway,above right]{true}-- (1.north);
    \end{tikzpicture}
\end{document}

Answer 2

我发现，生成问题中完全相同样式的自动机的工具是OmniGraffle，一款仅适用于 Mac 的软件。因此，它不是 Latex 软件包。

您可以在下面找到另一个示例：