Lexesis/tests/highlighter_4.exp

<?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>