This commit is contained in:
Pierre Valarcher 2022-11-10 11:01:28 +01:00
commit 3c52421dba
3 changed files with 180 additions and 0 deletions

69
JFLAP/DFA2as.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>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>

69
JFLAP/DFA2lettres.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>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>

42
JFLAP/DFAbeginb.jff Normal file
View 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>