madelaine/publicMasters
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

corrections JFLAP exercices automates premier cours automates

Browse Source
This commit is contained in:
Florent Madelaine 2023-11-13 12:05:14 +01:00
parent a9cac86ed3
commit 3dcb5e44f3
8 changed files with 663 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
JFLAP/DFA2asconsecutifs.jff Normal file
View 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>

39
JFLAP/DFAabcabcabc.jff Normal file
View 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>

128
JFLAP/DFAbaabcc.jff Normal file
View 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
JFLAP/DFAbab.jff Normal file
View 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>

118
JFLAP/DFAhelloAlmostComplete.jff Normal file
View 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
JFLAP/DFAlongueurMultipleDeTrois.jff Normal file
View 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>

88
JFLAP/NDFAbaabcc.jff Normal file
View 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
JFLAP/NDFAbab.jff Normal file
View 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>