Version=1.1
AutoAppendText=true
AutoEditIns=true
AutoEditText=true
AutoEditState=false
AutoArrangeIns=true
AutoArrangeStates=true
AutoRetractText=true
AutoReduceStates=true
WildcardsOn=false
BoxesOn=true
StateNamesOn=true
StateTextOn=true
InstructionNamesOn=true
InstructionTextOn=true
FreeTextOn=true
GridOn=false
DefaultArcType=1
InstructionGap=10
Type=DFA
NumberOfTapes=1
AlphabetMin=32
AlphabetMax=179
Alphabet= 01<$$$>
Blank= <$$$>
Wildcards=�<$$$>

StartMachine
   State0=accepting,x161,y78,Text0
   State1=rejecting,x369,y82,Text1
   State2=rejecting,x681,y176,Text2
   State3=rejecting,x539,y101,Text3
   State4=rejecting,x677,y55,Text4
   Instruction0=State3,0, ,R,State3,x549,y64,Line
   Instruction1=State3,1, ,R,State4,x610,y86,Line
   Instruction2=State4,0, ,R,State4,x668,y27,Line
   Instruction3=State4,1, ,R,State2,x693,y122,Line
   Instruction4=State2,0, ,R,State2,x745,y176,Line
   Instruction5=State2,1, ,R,State3,x618,y145,Line
   Instruction6=State0,1, ,R,State1,x274,y55,Hermite Curve
   Instruction7=State0,0, ,R,State0,x167,y129,Hermite Curve
   Instruction8=State1,1, ,R,State0,x279,y123,Hermite Curve
   Instruction9=State1,0, ,R,State1,x374,y117,Hermite Curve
   Textbox0=x141,y27,State0
   Textbox1=x363,y24,State1
   Textbox2=x272,y20,Instruction6
   Textbox3=x163,y142,Instruction7
   Textbox4=x274,y140,Instruction8
   Textbox5=x370,y130,Instruction9
   Textbox6=x646,y212,State2
   Textbox7=x504,y143,State3
   Textbox8=x718,y15,State4
   Textbox9=x543,y40,Instruction0
   Textbox10=x683,y16,Instruction2
   Textbox11=x757,y175,Instruction4
   Textbox12=x602,y49,Instruction1
   Textbox13=x715,y113,Instruction3
   Textbox14=x632,y128,Instruction5
EndMachine

Machine:Text
Text0=
Even 1s
EndText
Text1=
Odd 1s
EndText
Text2=
#1(x) == 2

modulo 3
EndText
Text3=
#1(x) == 0

modulo 3
EndText
Text4=
#1(x) == 1

modulo 3
EndText
EndMachine:Text

