Mercurial > 14ss.theoinf
changeset 29:27fd7a9cee49
add jflap turing machines
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Sat, 21 Jun 2014 20:10:47 +0200 |
| parents | 2e1a4e52da10 |
| children | b56fe50e0132 |
| files | machines/ta81.jff machines/ta81_alternativ.jff machines/ta82.jff machines/ta82b.jff |
| diffstat | 4 files changed, 736 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta81.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,83 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>turing</type> + <automaton> + <!--The list of states.--> + <block id="0" name="q0"> + <tag>Machine0</tag> + <x>77.0</x> + <y>175.0</y> + <initial/> + </block> + <block id="1" name="q1"> + <tag>Machine1</tag> + <x>231.0</x> + <y>83.0</y> + </block> + <block id="2" name="q2"> + <tag>Machine2</tag> + <x>235.0</x> + <y>258.0</y> + </block> + <block id="3" name="q3"> + <tag>Machine3</tag> + <x>393.0</x> + <y>167.0</y> + <final/> + </block> + <!--The list of transitions.--> + <transition> + <from>0</from> + <to>2</to> + <read/> + <write/> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>0</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read>|</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>1</from> + <to>0</to> + <read/> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>X</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>2</from> + <to>3</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>X</read> + <write>|</write> + <move>L</move> + </transition> + <!--The list of automata--> + <Machine3/> + <Machine0/> + <Machine1/> + <Machine2/> + </automaton> +</structure> \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta81_alternativ.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,117 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>turing</type> + <automaton> + <!--The list of states.--> + <block id="0" name="q0"> + <tag>Machine0</tag> + <x>181.0</x> + <y>280.0</y> + <initial/> + </block> + <block id="1" name="q1"> + <tag>Machine1</tag> + <x>376.0</x> + <y>119.0</y> + </block> + <block id="2" name="q2"> + <tag>Machine2</tag> + <x>519.0</x> + <y>283.0</y> + </block> + <block id="3" name="q3"> + <tag>Machine3</tag> + <x>373.0</x> + <y>438.0</y> + </block> + <block id="4" name="qF"> + <tag>Machine4</tag> + <x>626.0</x> + <y>440.0</y> + <final/> + </block> + <!--The list of transitions.--> + <transition> + <from>0</from> + <to>0</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>|</read> + <write>|</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>3</from> + <to>4</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read/> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>X</read> + <write>|</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read>|</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>0</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>|</read> + <write>|</write> + <move>L</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>X</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>3</to> + <read/> + <write/> + <move>L</move> + </transition> + <!--The list of automata--> + <Machine0/> + <Machine2/> + <Machine1/> + <Machine4/> + <Machine3/> + </automaton> +</structure> \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta82.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,221 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>turing</type> + <automaton> + <!--The list of states.--> + <block id="0" name="q0"> + <tag>Machine0</tag> + <x>329.0</x> + <y>230.0</y> + <initial/> + </block> + <block id="1" name="q1"> + <tag>Machine1</tag> + <x>451.0</x> + <y>67.0</y> + </block> + <block id="2" name="q2"> + <tag>Machine2</tag> + <x>439.0</x> + <y>324.0</y> + </block> + <block id="3" name="q3"> + <tag>Machine3</tag> + <x>556.0</x> + <y>151.0</y> + </block> + <block id="4" name="q4"> + <tag>Machine4</tag> + <x>482.0</x> + <y>478.0</y> + </block> + <block id="5" name="q5"> + <tag>Machine5</tag> + <x>630.0</x> + <y>478.0</y> + <final/> + </block> + <!--The list of transitions.--> + <transition> + <from>0</from> + <to>1</to> + <read>0</read> + <write>a</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>3</to> + <read/> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>1</read> + <write>1</write> + <move>L</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>0</read> + <write>0</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>b</read> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>a</read> + <write>a</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>1</read> + <write>1</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>0</read> + <write>0</write> + <move>L</move> + </transition> + <transition> + <from>4</from> + <to>5</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>a</read> + <write>0</write> + <move>L</move> + </transition> + <transition> + <from>2</from> + <to>3</to> + <read/> + <write>a</write> + <move>L</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>b</read> + <write>1</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>4</to> + <read/> + <write/> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>0</to> + <read>b</read> + <write>b</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>0</to> + <read>a</read> + <write>a</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>0</read> + <write>0</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>1</read> + <write>1</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>0</read> + <write>0</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>1</read> + <write>1</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>a</read> + <write>a</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>b</read> + <write>b</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>a</read> + <write>a</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>b</read> + <write>b</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>2</to> + <read>1</read> + <write>b</write> + <move>R</move> + </transition> + <transition> + <from>3</from> + <to>0</to> + <read/> + <write/> + <move>R</move> + </transition> + <!--The list of automata--> + <Machine3/> + <Machine4/> + <Machine5/> + <Machine0/> + <Machine1/> + <Machine2/> + </automaton> +</structure> \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta82b.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,315 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>turing</type> + <automaton> + <!--The list of states.--> + <block id="0" name="q0"> + <tag>Machine0</tag> + <x>341.0</x> + <y>217.0</y> + <initial/> + </block> + <block id="1" name="q1"> + <tag>Machine1</tag> + <x>472.0</x> + <y>161.0</y> + </block> + <block id="2" name="q2"> + <tag>Machine2</tag> + <x>604.0</x> + <y>160.0</y> + </block> + <block id="3" name="q3"> + <tag>Machine3</tag> + <x>746.0</x> + <y>215.0</y> + </block> + <block id="4" name="q4"> + <tag>Machine4</tag> + <x>471.0</x> + <y>433.0</y> + </block> + <block id="5" name="q5"> + <tag>Machine5</tag> + <x>608.0</x> + <y>429.0</y> + </block> + <block id="6" name="q6"> + <tag>Machine6</tag> + <x>705.0</x> + <y>345.0</y> + </block> + <block id="7" name="q7"> + <tag>Machine7</tag> + <x>833.0</x> + <y>421.0</y> + </block> + <block id="8" name="q8"> + <tag>Machine8</tag> + <x>719.0</x> + <y>549.0</y> + </block> + <block id="9" name="q9"> + <tag>Machine9</tag> + <x>341.0</x> + <y>533.0</y> + <final/> + </block> + <!--The list of transitions.--> + <transition> + <from>6</from> + <to>7</to> + <read>b</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read>1</read> + <write>B</write> + <move>R</move> + </transition> + <transition> + <from>4</from> + <to>5</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read/> + <write/> + <move>L</move> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read>b</read> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>1</from> + <to>2</to> + <read>a</read> + <write>a</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read>0</read> + <write>A</write> + <move>R</move> + </transition> + <transition> + <from>5</from> + <to>9</to> + <read/> + <write/> + <move>S</move> + </transition> + <transition> + <from>5</from> + <to>6</to> + <read>A</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>7</from> + <to>5</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>3</from> + <to>0</to> + <read>B</read> + <write>B</write> + <move>R</move> + </transition> + <transition> + <from>3</from> + <to>0</to> + <read>A</read> + <write>A</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>9</to> + <read/> + <write/> + <move>S</move> + </transition> + <transition> + <from>8</from> + <to>7</to> + <read>a</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>2</from> + <to>3</to> + <read>1</read> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>4</to> + <read>b</read> + <write>b</write> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>4</to> + <read>a</read> + <write>a</write> + <move>L</move> + </transition> + <transition> + <from>7</from> + <to>7</to> + <read>B</read> + <write>B</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>1</read> + <write>1</write> + <move>L</move> + </transition> + <transition> + <from>3</from> + <to>3</to> + <read>0</read> + <write>0</write> + <move>L</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>A</read> + <write>A</write> + <move>L</move> + </transition> + <transition> + <from>4</from> + <to>4</to> + <read>B</read> + <write>B</write> + <move>L</move> + </transition> + <transition> + <from>7</from> + <to>7</to> + <read>X</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>7</from> + <to>7</to> + <read>A</read> + <write>A</write> + <move>L</move> + </transition> + <transition> + <from>8</from> + <to>8</to> + <read>A</read> + <write>A</write> + <move>R</move> + </transition> + <transition> + <from>8</from> + <to>8</to> + <read>B</read> + <write>B</write> + <move>R</move> + </transition> + <transition> + <from>8</from> + <to>8</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>5</from> + <to>5</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>1</read> + <write>1</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>0</read> + <write>0</write> + <move>R</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>A</read> + <write>A</write> + <move>R</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>B</read> + <write>B</write> + <move>R</move> + </transition> + <transition> + <from>6</from> + <to>6</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>5</from> + <to>8</to> + <read>B</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>3</to> + <read>0</read> + <write>a</write> + <move>L</move> + </transition> + <!--The list of automata--> + <Machine8/> + <Machine7/> + <Machine9/> + <Machine3/> + <Machine4/> + <Machine5/> + <Machine6/> + <Machine0/> + <Machine1/> + <Machine2/> + </automaton> +</structure> \ No newline at end of file