diff options
Diffstat (limited to 'graphics/jflap2tikz/examples/ex0_1aScale2.tex')
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1aScale2.tex | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/graphics/jflap2tikz/examples/ex0_1aScale2.tex b/graphics/jflap2tikz/examples/ex0_1aScale2.tex new file mode 100644 index 0000000000..2c0e8264c2 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1aScale2.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 (124.0pt, -228.0pt)node[state, initial, initial text =](0){$q_{0}$}; + \draw (326.0pt, -102.0pt)node[state](1){$q_{1}$}; + \draw (368.0pt, -324.0pt)node[state](2){$q_{2}$}; + \draw (550.0pt, -184.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} |