diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /graphics/jflap2tikz/examples |
Initial commit
Diffstat (limited to 'graphics/jflap2tikz/examples')
-rw-r--r-- | graphics/jflap2tikz/examples/ex0.1a.jff | 50 | ||||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1a.pdf | bin | 0 -> 26267 bytes | |||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1a.png | bin | 0 -> 16349 bytes | |||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1a.tex | 19 | ||||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1aGrid100.pdf | bin | 0 -> 26049 bytes | |||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1aGrid100.tex | 19 | ||||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1aScale2.pdf | bin | 0 -> 26293 bytes | |||
-rw-r--r-- | graphics/jflap2tikz/examples/ex0_1aScale2.tex | 19 | ||||
-rw-r--r-- | graphics/jflap2tikz/examples/ex9-anbncn.jff | 249 | ||||
-rw-r--r-- | graphics/jflap2tikz/examples/ex9-anbncn.pdf | bin | 0 -> 38595 bytes | |||
-rw-r--r-- | graphics/jflap2tikz/examples/ex9-anbncn.png | bin | 0 -> 55575 bytes | |||
-rw-r--r-- | graphics/jflap2tikz/examples/ex9-anbncn.tex | 44 |
12 files changed, 400 insertions, 0 deletions
diff --git a/graphics/jflap2tikz/examples/ex0.1a.jff b/graphics/jflap2tikz/examples/ex0.1a.jff new file mode 100644 index 0000000000..e4068c24db --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0.1a.jff @@ -0,0 +1,50 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>fa</type> + <automaton> + <!--The list of states.--> + <state id="0" name="q0"> + <x>62.0</x> + <y>114.0</y> + <initial/> + </state> + <state id="1" name="q1"> + <x>163.0</x> + <y>51.0</y> + </state> + <state id="2" name="q2"> + <x>184.0</x> + <y>162.0</y> + </state> + <state id="3" name="q3"> + <x>275.0</x> + <y>92.0</y> + <final/> + </state> + <!--The list of transitions.--> + <transition> + <from>0</from> + <to>2</to> + <read>b</read> + </transition> + <transition> + <from>2</from> + <to>0</to> + <read>a</read> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read>a</read> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read/> + </transition> + <transition> + <from>1</from> + <to>3</to> + <read>a</read> + </transition> + </automaton> +</structure>
\ No newline at end of file diff --git a/graphics/jflap2tikz/examples/ex0_1a.pdf b/graphics/jflap2tikz/examples/ex0_1a.pdf Binary files differnew file mode 100644 index 0000000000..09e99dbb16 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1a.pdf diff --git a/graphics/jflap2tikz/examples/ex0_1a.png b/graphics/jflap2tikz/examples/ex0_1a.png Binary files differnew file mode 100644 index 0000000000..a9d221d787 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1a.png diff --git a/graphics/jflap2tikz/examples/ex0_1a.tex b/graphics/jflap2tikz/examples/ex0_1a.tex new file mode 100644 index 0000000000..d0032caf99 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1a.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 (62.0pt, -114.0pt)node[state, initial, initial text =](0){$q_{0}$}; + \draw (163.0pt, -51.0pt)node[state](1){$q_{1}$}; + \draw (184.0pt, -162.0pt)node[state](2){$q_{2}$}; + \draw (275.0pt, -92.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} diff --git a/graphics/jflap2tikz/examples/ex0_1aGrid100.pdf b/graphics/jflap2tikz/examples/ex0_1aGrid100.pdf Binary files differnew file mode 100644 index 0000000000..a1ee90038e --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1aGrid100.pdf 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} diff --git a/graphics/jflap2tikz/examples/ex0_1aScale2.pdf b/graphics/jflap2tikz/examples/ex0_1aScale2.pdf Binary files differnew file mode 100644 index 0000000000..860b0c8906 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex0_1aScale2.pdf 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} diff --git a/graphics/jflap2tikz/examples/ex9-anbncn.jff b/graphics/jflap2tikz/examples/ex9-anbncn.jff new file mode 100644 index 0000000000..024b7d80ef --- /dev/null +++ b/graphics/jflap2tikz/examples/ex9-anbncn.jff @@ -0,0 +1,249 @@ +<?xml version="1.0"?> +<!-- Created with JFLAP 4.0b10. --> +<structure> + <type>turing</type> + <!--The list of states.--> + <state id="2"> + <x>367.0</x> + <y>79.0</y> + </state> + <state id="7"> + <x>101.0</x> + <y>411.0</y> + </state> + <state id="5"> + <x>524.0</x> + <y>304.0</y> + </state> + <state id="0"> + <x>253.0</x> + <y>266.0</y> + </state> + <state id="3"> + <x>498.0</x> + <y>132.0</y> + </state> + <state id="9"> + <x>60.0</x> + <y>319.0</y> + <initial /> + </state> + <state id="10"> + <x>149.0</x> + <y>235.0</y> + </state> + <state id="4"> + <x>388.0</x> + <y>236.0</y> + </state> + <state id="1"> + <x>257.0</x> + <y>143.0</y> + </state> + <state id="8"> + <x>256.0</x> + <y>411.0</y> + <final /> + </state> + <state id="6"> + <x>384.0</x> + <y>381.0</y> + </state> + <!--The list of transitions.--> + <transition> + <from>5</from> + <to>6</to> + <read>c</read> + <write></write> + <move>L</move> + </transition> + <transition> + <from>10</from> + <to>10</to> + <read>a</read> + <write>a</write> + <move>L</move> + </transition> + <transition> + <from>10</from> + <to>10</to> + <read>b</read> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>10</from> + <to>10</to> + <read>c</read> + <write>c</write> + <move>L</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>a</read> + <write>a</write> + <move>L</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>b</read> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>c</read> + <write>c</write> + <move>L</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>#</read> + <write>#</write> + <move>L</move> + </transition> + <transition> + <from>10</from> + <to>0</to> + <read></read> + <write></write> + <move>R</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>c</read> + <write>c</write> + <move>R</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>b</read> + <write>b</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>#</read> + <write>#</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>a</read> + <write>a</write> + <move>R</move> + </transition> + <transition> + <from>7</from> + <to>7</to> + <read>#</read> + <write>#</write> + <move>R</move> + </transition> + <transition> + <from>9</from> + <to>9</to> + <read>c</read> + <write>c</write> + <move>R</move> + </transition> + <transition> + <from>9</from> + <to>9</to> + <read>b</read> + <write>b</write> + <move>R</move> + </transition> + <transition> + <from>9</from> + <to>9</to> + <read>a</read> + <write>a</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read>#</read> + <write>#</write> + <move>R</move> + </transition> + <transition> + <from>6</from> + <to>0</to> + <read></read> + <write></write> + <move>R</move> + </transition> + <transition> + <from>9</from> + <to>10</to> + <read></read> + <write></write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read>a</read> + <write></write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>3</to> + <read>b</read> + <write>#</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>7</to> + <read>#</read> + <write>#</write> + <move>R</move> + </transition> + <transition> + <from>7</from> + <to>8</to> + <read></read> + <write></write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>4</to> + <read>c</read> + <write>c</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>3</to> + <read>b</read> + <write>#</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>8</to> + <read></read> + <write></write> + <move>S</move> + </transition> + <transition> + <from>4</from> + <to>5</to> + <read></read> + <write></write> + <move>L</move> + </transition> +</structure> diff --git a/graphics/jflap2tikz/examples/ex9-anbncn.pdf b/graphics/jflap2tikz/examples/ex9-anbncn.pdf Binary files differnew file mode 100644 index 0000000000..401999f25e --- /dev/null +++ b/graphics/jflap2tikz/examples/ex9-anbncn.pdf diff --git a/graphics/jflap2tikz/examples/ex9-anbncn.png b/graphics/jflap2tikz/examples/ex9-anbncn.png Binary files differnew file mode 100644 index 0000000000..26d1999c87 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex9-anbncn.png diff --git a/graphics/jflap2tikz/examples/ex9-anbncn.tex b/graphics/jflap2tikz/examples/ex9-anbncn.tex new file mode 100644 index 0000000000..ad4ed30f52 --- /dev/null +++ b/graphics/jflap2tikz/examples/ex9-anbncn.tex @@ -0,0 +1,44 @@ +\documentclass{article} +\usepackage{tikz} +\usetikzlibrary{automata,positioning,arrows.meta} +\usepackage{amssymb} + +\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] + \draw (350.0pt, -100.0pt)node[state](2){$q_{2}$}; + \draw (100.0pt, -400.0pt)node[state](7){$q_{7}$}; + \draw (500.0pt, -300.0pt)node[state](5){$q_{5}$}; + \draw (250.0pt, -250.0pt)node[state](0){$q_{0}$}; + \draw (500.0pt, -150.0pt)node[state](3){$q_{3}$}; + \draw (50.0pt, -300.0pt)node[state, initial, initial text =](9){$q_{9}$}; + \draw (150.0pt, -250.0pt)node[state](10){$q_{10}$}; + \draw (400.0pt, -250.0pt)node[state](4){$q_{4}$}; + \draw (250.0pt, -150.0pt)node[state](1){$q_{1}$}; + \draw (250.0pt, -400.0pt)node[state, accepting](8){$q_{8}$}; + \draw (400.0pt, -400.0pt)node[state](6){$q_{6}$}; + \path[->] (5) edge node[sloped,anchor=north]{c : $\Box$, L}(6); + \path[->] (10) edge[loop above] node[align=center]{a : a, L\\ b : b, L\\ c : c, L}(10); + \path[->] (6) edge[loop above] node[align=center]{a : a, L\\ b : b, L\\ c : c, L\\ \# : \#, L}(6); + \path[->] (10) edge node[sloped,anchor=south]{$\Box$ : $\Box$, R}(0); + \path[->] (4) edge[loop above] node{c : c, R}(4); + \path[->] (3) edge[loop above] node{b : b, R}(3); + \path[->] (2) edge[loop above] node{\# : \#, R}(2); + \path[->] (1) edge[loop above] node{a : a, R}(1); + \path[->] (7) edge[loop above] node{\# : \#, R}(7); + \path[->] (9) edge[loop above] node[align=center]{c : c, R\\ b : b, R\\ a : a, R}(9); + \path[->] (1) edge node[sloped,anchor=south]{\# : \#, R}(2); + \path[->] (6) edge node[sloped,anchor=north]{$\Box$ : $\Box$, R}(0); + \path[->] (9) edge node[sloped,anchor=south]{$\Box$ : $\Box$, L}(10); + \path[->] (0) edge node[sloped,anchor=north]{a : $\Box$, R}(1); + \path[->] (1) edge node[sloped,anchor=south]{b : \#, R}(3); + \path[->] (0) edge node[sloped,anchor=north]{\# : \#, R}(7); + \path[->] (7) edge node[sloped,anchor=south]{$\Box$ : $\Box$, L}(8); + \path[->] (3) edge node[sloped,anchor=north]{c : c, R}(4); + \path[->] (2) edge node[sloped,anchor=south]{b : \#, R}(3); + \path[->] (0) edge node[sloped,anchor=north]{$\Box$ : $\Box$, S}(8); + \path[->] (4) edge node[sloped,anchor=south]{$\Box$ : $\Box$, L}(5); +\end{tikzpicture} +\end{document} |