40 lines
938 B
XML
40 lines
938 B
XML
<?xml version="1.0" ?>
|
|
<DFA>
|
|
<Alphabet>
|
|
<symbol>0</symbol>
|
|
<symbol>1</symbol>
|
|
</Alphabet>
|
|
<States>
|
|
<state>
|
|
<name>Q0</name>
|
|
<starting>yes</starting>
|
|
</state>
|
|
<state>
|
|
<name>Q1</name>
|
|
<accepting>yes</accepting>
|
|
</state>
|
|
</States>
|
|
<Transitions>
|
|
<transition>
|
|
<from>Q0</from>
|
|
<to>Q0</to>
|
|
<input>0</input>
|
|
</transition>
|
|
<transition>
|
|
<from>Q0</from>
|
|
<to>Q1</to>
|
|
<input>1</input>
|
|
</transition>
|
|
<transition>
|
|
<from>Q1</from>
|
|
<to>Q1</to>
|
|
<input>0</input>
|
|
</transition>
|
|
<transition>
|
|
<from>Q1</from>
|
|
<to>Q0</to>
|
|
<input>1</input>
|
|
</transition>
|
|
</Transitions>
|
|
</DFA>
|