summaryrefslogtreecommitdiff
path: root/graphics/jflap2tikz/examples
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /graphics/jflap2tikz/examples
Initial commit
Diffstat (limited to 'graphics/jflap2tikz/examples')
-rw-r--r--graphics/jflap2tikz/examples/ex0.1a.jff50
-rw-r--r--graphics/jflap2tikz/examples/ex0_1a.pdfbin0 -> 26267 bytes
-rw-r--r--graphics/jflap2tikz/examples/ex0_1a.pngbin0 -> 16349 bytes
-rw-r--r--graphics/jflap2tikz/examples/ex0_1a.tex19
-rw-r--r--graphics/jflap2tikz/examples/ex0_1aGrid100.pdfbin0 -> 26049 bytes
-rw-r--r--graphics/jflap2tikz/examples/ex0_1aGrid100.tex19
-rw-r--r--graphics/jflap2tikz/examples/ex0_1aScale2.pdfbin0 -> 26293 bytes
-rw-r--r--graphics/jflap2tikz/examples/ex0_1aScale2.tex19
-rw-r--r--graphics/jflap2tikz/examples/ex9-anbncn.jff249
-rw-r--r--graphics/jflap2tikz/examples/ex9-anbncn.pdfbin0 -> 38595 bytes
-rw-r--r--graphics/jflap2tikz/examples/ex9-anbncn.pngbin0 -> 55575 bytes
-rw-r--r--graphics/jflap2tikz/examples/ex9-anbncn.tex44
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
new file mode 100644
index 0000000000..09e99dbb16
--- /dev/null
+++ b/graphics/jflap2tikz/examples/ex0_1a.pdf
Binary files differ
diff --git a/graphics/jflap2tikz/examples/ex0_1a.png b/graphics/jflap2tikz/examples/ex0_1a.png
new file mode 100644
index 0000000000..a9d221d787
--- /dev/null
+++ b/graphics/jflap2tikz/examples/ex0_1a.png
Binary files differ
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
new file mode 100644
index 0000000000..a1ee90038e
--- /dev/null
+++ b/graphics/jflap2tikz/examples/ex0_1aGrid100.pdf
Binary files differ
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
new file mode 100644
index 0000000000..860b0c8906
--- /dev/null
+++ b/graphics/jflap2tikz/examples/ex0_1aScale2.pdf
Binary files differ
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
new file mode 100644
index 0000000000..401999f25e
--- /dev/null
+++ b/graphics/jflap2tikz/examples/ex9-anbncn.pdf
Binary files differ
diff --git a/graphics/jflap2tikz/examples/ex9-anbncn.png b/graphics/jflap2tikz/examples/ex9-anbncn.png
new file mode 100644
index 0000000000..26d1999c87
--- /dev/null
+++ b/graphics/jflap2tikz/examples/ex9-anbncn.png
Binary files differ
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}