summaryrefslogtreecommitdiff
path: root/graphics/jflap2tikz/examples/ex0_1aGrid100.tex
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/jflap2tikz/examples/ex0_1aGrid100.tex')
-rw-r--r--graphics/jflap2tikz/examples/ex0_1aGrid100.tex19
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}