diff options
Diffstat (limited to 'graphics/jflap2tikz/examples/ex0_1aGrid100.tex')
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1aGrid100.tex | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/graphics/jflap2tikz/examples/ex0_1aGrid100.tex b/graphics/jflap2tikz/examples/ex0_1aGrid100.tex new file mode 100644 index 0000000000..a0cfc47152 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1aGrid100.tex @@ -0,0 +1,19 @@ +\documentclass{article} +\usepackage{tikz} +\usetikzlibrary{automata,positioning,arrows.meta} +\usepackage[graphics,tightpage,active,pdftex]{preview} +\setlength{\PreviewBorder}{5pt} +\PreviewEnvironment{tikzpicture} +\begin{document} +\begin{tikzpicture}[>={Stealth[width=6pt,length=9pt]}, accepting/.style={double distance = 2pt, outer sep = 1pt + \pgflinewidth}, shorten >=1pt, auto] + \draw (100.0pt, -100.0pt)node[state, initial, initial text =](0){$q_{0}$}; + \draw (200.0pt, -100.0pt)node[state](1){$q_{1}$}; + \draw (200.0pt, -200.0pt)node[state](2){$q_{2}$}; + \draw (300.0pt, -100.0pt)node[state, accepting](3){$q_{3}$}; + \path[->] (0) edge[bend left] node{b}(2); + \path[->] (2) edge[bend left] node{a}(0); + \path[->] (1) edge node{a}(2); + \path[->] (0) edge node{$\lambda$}(1); + \path[->] (1) edge node{a}(3); +\end{tikzpicture} +\end{document} |