Mercurial > 14ss.theoinf
view machines/ta82b.jff @ 29:27fd7a9cee49
add jflap turing machines
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Sat, 21 Jun 2014 20:10:47 +0200 |
parents | |
children |
line wrap: on
line source
<?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>