reorganisation par cours dans sous-répertoires
This commit is contained in:
69
1-ComputationAndData/JFLAP/DFA2as.jff
Normal file
69
1-ComputationAndData/JFLAP/DFA2as.jff
Normal file
@@ -0,0 +1,69 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>73.0</x>
|
||||
<y>63.0</y>
|
||||
<label>zero a</label>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>337.0</x>
|
||||
<y>65.0</y>
|
||||
<label>un a</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>583.0</x>
|
||||
<y>75.0</y>
|
||||
<label>deux as</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>336.0</x>
|
||||
<y>294.0</y>
|
||||
<label>trop de as</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
BIN
1-ComputationAndData/JFLAP/DFA2as.jff.jpg
Normal file
BIN
1-ComputationAndData/JFLAP/DFA2as.jff.jpg
Normal file
Binary file not shown.
After Width: | Height: | Size: 17 KiB |
62
1-ComputationAndData/JFLAP/DFA2asconsecutifs.jff
Normal file
62
1-ComputationAndData/JFLAP/DFA2asconsecutifs.jff
Normal file
@@ -0,0 +1,62 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>256.0</x>
|
||||
<y>298.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>481.0</x>
|
||||
<y>299.0</y>
|
||||
<label>..a</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>701.0</x>
|
||||
<y>303.0</y>
|
||||
<label>...aa</label>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>923.0</x>
|
||||
<y>306.0</y>
|
||||
<label>OK</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
69
1-ComputationAndData/JFLAP/DFA2lettres.jff
Normal file
69
1-ComputationAndData/JFLAP/DFA2lettres.jff
Normal file
@@ -0,0 +1,69 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>86.0</x>
|
||||
<y>82.0</y>
|
||||
<label>0 lettres</label>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>221.0</x>
|
||||
<y>91.0</y>
|
||||
<label>1 lettre</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>343.0</x>
|
||||
<y>90.0</y>
|
||||
<label>2 lettres</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>221.0</x>
|
||||
<y>226.0</y>
|
||||
<label>trop de lettres</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
39
1-ComputationAndData/JFLAP/DFAabcabcabc.jff
Normal file
39
1-ComputationAndData/JFLAP/DFAabcabcabc.jff
Normal file
@@ -0,0 +1,39 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>139.0</x>
|
||||
<y>172.0</y>
|
||||
<label>[abc...abc]</label>
|
||||
<initial/>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>333.0</x>
|
||||
<y>76.0</y>
|
||||
<label>[abc...abc]a</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>385.0</x>
|
||||
<y>217.0</y>
|
||||
<label>[abc...abc]ab</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
205
1-ComputationAndData/JFLAP/DFAabcalphabetfirstequalslast.jff
Normal file
205
1-ComputationAndData/JFLAP/DFAabcalphabetfirstequalslast.jff
Normal file
@@ -0,0 +1,205 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>78.0</x>
|
||||
<y>267.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>329.0</x>
|
||||
<y>116.0</y>
|
||||
<label>a</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>315.0</x>
|
||||
<y>264.0</y>
|
||||
<label>b</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>420.0</x>
|
||||
<y>13.0</y>
|
||||
<label>b</label>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>448.0</x>
|
||||
<y>192.0</y>
|
||||
<label>a</label>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>526.0</x>
|
||||
<y>113.0</y>
|
||||
<label>c</label>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>535.0</x>
|
||||
<y>268.0</y>
|
||||
</state>
|
||||
<state id="7" name="q7">
|
||||
<x>313.0</x>
|
||||
<y>441.0</y>
|
||||
</state>
|
||||
<state id="8" name="q8">
|
||||
<x>536.0</x>
|
||||
<y>450.0</y>
|
||||
</state>
|
||||
<state id="9" name="q9">
|
||||
<x>437.0</x>
|
||||
<y>358.0</y>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>8</from>
|
||||
<to>9</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>8</from>
|
||||
<to>8</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>7</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>9</from>
|
||||
<to>9</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>9</from>
|
||||
<to>8</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>7</from>
|
||||
<to>7</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>7</from>
|
||||
<to>9</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>7</from>
|
||||
<to>8</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>9</from>
|
||||
<to>7</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>8</from>
|
||||
<to>7</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>6</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>6</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
128
1-ComputationAndData/JFLAP/DFAbaabcc.jff
Normal file
128
1-ComputationAndData/JFLAP/DFAbaabcc.jff
Normal file
@@ -0,0 +1,128 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>192.0</x>
|
||||
<y>187.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>454.0</x>
|
||||
<y>54.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>734.0</x>
|
||||
<y>60.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>962.0</x>
|
||||
<y>180.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>1030.0</x>
|
||||
<y>319.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>647.0</x>
|
||||
<y>411.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>0</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
106
1-ComputationAndData/JFLAP/DFAbab.jff
Normal file
106
1-ComputationAndData/JFLAP/DFAbab.jff
Normal file
@@ -0,0 +1,106 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>194.0</x>
|
||||
<y>412.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>390.0</x>
|
||||
<y>358.0</y>
|
||||
<label>b</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>614.0</x>
|
||||
<y>407.0</y>
|
||||
<label>ba</label>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>789.0</x>
|
||||
<y>408.0</y>
|
||||
<label>bab</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="4" name="aa">
|
||||
<x>224.0</x>
|
||||
<y>103.0</y>
|
||||
</state>
|
||||
<state id="5" name="aaa">
|
||||
<x>525.0</x>
|
||||
<y>79.0</y>
|
||||
<label>cuisine avec des préfixes de suffixes</label>
|
||||
</state>
|
||||
<state id="6" name="aab">
|
||||
<x>807.0</x>
|
||||
<y>162.0</y>
|
||||
</state>
|
||||
<state id="7" name="aba">
|
||||
<x>905.0</x>
|
||||
<y>163.0</y>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<controlx>395</controlx>
|
||||
<controly>527</controly>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>6</to>
|
||||
<controlx>675</controlx>
|
||||
<controly>38</controly>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>6</to>
|
||||
<controlx>496</controlx>
|
||||
<controly>242</controly>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>7</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
42
1-ComputationAndData/JFLAP/DFAbeginb.jff
Normal file
42
1-ComputationAndData/JFLAP/DFAbeginb.jff
Normal file
@@ -0,0 +1,42 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>144.0</x>
|
||||
<y>116.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>402.0</x>
|
||||
<y>128.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>184.0</x>
|
||||
<y>260.0</y>
|
||||
<label>poubelle</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
118
1-ComputationAndData/JFLAP/DFAhelloAlmostComplete.jff
Normal file
118
1-ComputationAndData/JFLAP/DFAhelloAlmostComplete.jff
Normal file
@@ -0,0 +1,118 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>54.0</x>
|
||||
<y>75.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>175.0</x>
|
||||
<y>67.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>268.0</x>
|
||||
<y>66.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>337.0</x>
|
||||
<y>61.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>480.0</x>
|
||||
<y>101.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>414.0</x>
|
||||
<y>62.0</y>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>287.0</x>
|
||||
<y>252.0</y>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>e</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>6</to>
|
||||
<read>h</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>h</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>6</to>
|
||||
<read>l</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>l</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>6</to>
|
||||
<read>o</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>o</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>6</to>
|
||||
<controlx>77</controlx>
|
||||
<controly>233</controly>
|
||||
<read>e</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>4</to>
|
||||
<read>o</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>h</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>e</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>l</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>6</to>
|
||||
<controlx>98</controlx>
|
||||
<controly>207</controly>
|
||||
<read>l</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>6</to>
|
||||
<controlx>148</controlx>
|
||||
<controly>168</controly>
|
||||
<read>o</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>5</to>
|
||||
<read>l</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
69
1-ComputationAndData/JFLAP/DFAlongueurMultipleDeTrois.jff
Normal file
69
1-ComputationAndData/JFLAP/DFAlongueurMultipleDeTrois.jff
Normal file
@@ -0,0 +1,69 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>231.0</x>
|
||||
<y>267.0</y>
|
||||
<label>0,3,6,9,...</label>
|
||||
<initial/>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>425.0</x>
|
||||
<y>171.0</y>
|
||||
<label>1,4,7,10,...</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>477.0</x>
|
||||
<y>312.0</y>
|
||||
<label>2,5,8,11,...</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
BIN
1-ComputationAndData/JFLAP/JFLAP7.1.jar
Executable file
BIN
1-ComputationAndData/JFLAP/JFLAP7.1.jar
Executable file
Binary file not shown.
88
1-ComputationAndData/JFLAP/NDFAbaabcc.jff
Normal file
88
1-ComputationAndData/JFLAP/NDFAbaabcc.jff
Normal file
@@ -0,0 +1,88 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>284.0</x>
|
||||
<y>225.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>462.0</x>
|
||||
<y>223.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>644.0</x>
|
||||
<y>216.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>845.0</x>
|
||||
<y>215.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>1066.0</x>
|
||||
<y>221.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>1308.0</x>
|
||||
<y>225.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
53
1-ComputationAndData/JFLAP/NDFAbab.jff
Normal file
53
1-ComputationAndData/JFLAP/NDFAbab.jff
Normal file
@@ -0,0 +1,53 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>164.0</x>
|
||||
<y>345.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>376.0</x>
|
||||
<y>347.0</y>
|
||||
<label>b</label>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>588.0</x>
|
||||
<y>352.0</y>
|
||||
<label>ba</label>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>787.0</x>
|
||||
<y>354.0</y>
|
||||
<label>bab</label>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
119
1-ComputationAndData/JFLAP/NFAabcalphabetfirstequalslast.jff
Normal file
119
1-ComputationAndData/JFLAP/NFAabcalphabetfirstequalslast.jff
Normal file
@@ -0,0 +1,119 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>73.0</x>
|
||||
<y>204.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>286.0</x>
|
||||
<y>82.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>322.0</x>
|
||||
<y>256.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>291.0</x>
|
||||
<y>371.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>651.0</x>
|
||||
<y>103.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>4</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>4</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>3</to>
|
||||
<read>c</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
82
1-ComputationAndData/JFLAP/TM2TetesPalindromesPairs.jff
Normal file
82
1-ComputationAndData/JFLAP/TM2TetesPalindromesPairs.jff
Normal file
@@ -0,0 +1,82 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<tapes>2</tapes>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>93.0</x>
|
||||
<y>111.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>352.0</x>
|
||||
<y>100.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>523.0</x>
|
||||
<y>97.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1"/>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2"/>
|
||||
<move tape="2">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1"/>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2"/>
|
||||
<move tape="2">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1"/>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2"/>
|
||||
<move tape="2">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1"/>
|
||||
<move tape="1">S</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2"/>
|
||||
<move tape="2">S</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
38
1-ComputationAndData/JFLAP/TMAllezàDroiteEtAccepter.jff
Normal file
38
1-ComputationAndData/JFLAP/TMAllezàDroiteEtAccepter.jff
Normal file
@@ -0,0 +1,38 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>160.0</x>
|
||||
<y>245.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>319.0</x>
|
||||
<y>239.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
135
1-ComputationAndData/JFLAP/TMPalindromesPairs.jff
Normal file
135
1-ComputationAndData/JFLAP/TMPalindromesPairs.jff
Normal file
@@ -0,0 +1,135 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>70.0</x>
|
||||
<y>110.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>405.0</x>
|
||||
<y>40.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>211.0</x>
|
||||
<y>46.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>204.0</x>
|
||||
<y>265.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>410.0</x>
|
||||
<y>269.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>656.0</x>
|
||||
<y>154.0</y>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>54.0</x>
|
||||
<y>273.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>6</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>1</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
<write/>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>1</read>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>5</to>
|
||||
<read>0</read>
|
||||
<write/>
|
||||
<move>L</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>3</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>0</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
<write/>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
88
1-ComputationAndData/JFLAP/TMPlus1EnBinaire.jff
Normal file
88
1-ComputationAndData/JFLAP/TMPlus1EnBinaire.jff
Normal file
@@ -0,0 +1,88 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="init">
|
||||
<x>92.0</x>
|
||||
<y>85.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="Ret 1">
|
||||
<x>246.0</x>
|
||||
<y>85.0</y>
|
||||
</state>
|
||||
<state id="2" name="Ret 0">
|
||||
<x>395.0</x>
|
||||
<y>89.0</y>
|
||||
</state>
|
||||
<state id="3" name="Halt">
|
||||
<x>330.0</x>
|
||||
<y>200.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
<write>1</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
<write>0</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read/>
|
||||
<write>1</write>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
BIN
1-ComputationAndData/JFLAP/TMPlus1EnBinaire.jpg
Normal file
BIN
1-ComputationAndData/JFLAP/TMPlus1EnBinaire.jpg
Normal file
Binary file not shown.
After Width: | Height: | Size: 32 KiB |
63
1-ComputationAndData/JFLAP/TMPlus1EnBinairePlusSimple.jff
Normal file
63
1-ComputationAndData/JFLAP/TMPlus1EnBinairePlusSimple.jff
Normal file
@@ -0,0 +1,63 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="init">
|
||||
<x>92.0</x>
|
||||
<y>85.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="Ret 1">
|
||||
<x>246.0</x>
|
||||
<y>85.0</y>
|
||||
</state>
|
||||
<state id="3" name="Halt">
|
||||
<x>411.0</x>
|
||||
<y>85.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
<write>0</write>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read/>
|
||||
<write>1</write>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
<write>1</write>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
@@ -0,0 +1,103 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>97.0</x>
|
||||
<y>103.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>393.0</x>
|
||||
<y>47.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>211.0</x>
|
||||
<y>46.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>203.0</x>
|
||||
<y>173.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>364.0</x>
|
||||
<y>172.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>523.0</x>
|
||||
<y>115.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<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>3</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>1</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>1</read>
|
||||
<write>1</write>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>5</to>
|
||||
<read>0</read>
|
||||
<write>0</write>
|
||||
<move>S</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read/>
|
||||
<write/>
|
||||
<move>L</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
273
1-ComputationAndData/JFLAP/TMSommeBinaire2rubansSurTroisieme.jff
Normal file
273
1-ComputationAndData/JFLAP/TMSommeBinaire2rubansSurTroisieme.jff
Normal file
@@ -0,0 +1,273 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>turing</type>
|
||||
<tapes>3</tapes>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>358.0</x>
|
||||
<y>213.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="ret 0">
|
||||
<x>642.0</x>
|
||||
<y>206.0</y>
|
||||
</state>
|
||||
<state id="2" name="ret 1">
|
||||
<x>972.0</x>
|
||||
<y>206.0</y>
|
||||
</state>
|
||||
<state id="3" name="Halt">
|
||||
<x>809.0</x>
|
||||
<y>410.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1"/>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2"/>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">0</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">0</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1"/>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2"/>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read tape="1"/>
|
||||
<write tape="1"/>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2"/>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">1</write>
|
||||
<move tape="3">S</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">1</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">1</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">1</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">R</move>
|
||||
<read tape="2"/>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">R</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3"/>
|
||||
<move tape="3">R</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">1</read>
|
||||
<write tape="2">1</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">0</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read tape="1">1</read>
|
||||
<write tape="1">1</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">0</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>1</to>
|
||||
<read tape="1">0</read>
|
||||
<write tape="1">0</write>
|
||||
<move tape="1">L</move>
|
||||
<read tape="2">0</read>
|
||||
<write tape="2">0</write>
|
||||
<move tape="2">L</move>
|
||||
<read tape="3"/>
|
||||
<write tape="3">1</write>
|
||||
<move tape="3">L</move>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
70
1-ComputationAndData/JFLAP/TP2DAAvecAnnotationLabels.jff
Normal file
70
1-ComputationAndData/JFLAP/TP2DAAvecAnnotationLabels.jff
Normal file
@@ -0,0 +1,70 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>fa</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>67.0</x>
|
||||
<y>118.0</y>
|
||||
<label>J'ai vu 0 ou ++ b (b*)</label>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>261.0</x>
|
||||
<y>49.0</y>
|
||||
<label>b*ab</label>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>262.0</x>
|
||||
<y>162.0</y>
|
||||
<label>b*aa</label>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>382.0</x>
|
||||
<y>51.0</y>
|
||||
<label>b*abb</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>388.0</x>
|
||||
<y>166.0</y>
|
||||
<label>b*aaa</label>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="7" name="q7">
|
||||
<x>149.0</x>
|
||||
<y>107.0</y>
|
||||
<label>b*a</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>6</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>7</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>7</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>5</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>7</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
73
1-ComputationAndData/JFLAP/TP2NDA.jff
Normal file
73
1-ComputationAndData/JFLAP/TP2NDA.jff
Normal file
@@ -0,0 +1,73 @@
|
||||
<?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>67.0</x>
|
||||
<y>118.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>148.0</x>
|
||||
<y>51.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>149.0</x>
|
||||
<y>162.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>261.0</x>
|
||||
<y>49.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>262.0</x>
|
||||
<y>162.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>382.0</x>
|
||||
<y>51.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>388.0</x>
|
||||
<y>166.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>6</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>4</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>a</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>5</to>
|
||||
<read>b</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
Reference in New Issue
Block a user