Version=1.1
AutoAppendText=true
AutoEditIns=true
AutoEditText=true
AutoEditState=true
AutoArrangeIns=true
AutoArrangeStates=true
AutoRetractText=true
AutoReduceStates=true
WildcardsOn=true
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=rejecting,x131,y212,Text0
   State1=rejecting,x131,y420,Text1
   State2=rejecting,x387,y484,Text2
   State3=rejecting,x547,y308,Text3
   State4=rejecting,x387,y132,Text4
   State5=accepting,x240,y241,Text5
   State6=accepting,x240,y385,Text6
   State7=accepting,x368,y401,Text7
   State8=accepting,x486,y318,Text8
   State9=accepting,x384,y209,Text9
   Instruction0=State5,1, ,R,State1,x183,y264,Line
   Instruction1=State5,0, ,R,State6,x245,y319,Line
   Instruction2=State6,0, ,R,State7,x311,y424,Line
   Instruction3=State6,1, ,R,State7,x311,y408,Line
   Instruction4=State7,0, ,R,State8,x455,y376,Line
   Instruction5=State7,1, ,R,State8,x439,y360,Line
   Instruction6=State8,0, ,R,State9,x455,y248,Line
   Instruction7=State8,1, ,R,State9,x439,y264,Line
   Instruction8=State9,0, ,R,State5,x311,y216,Line
   Instruction9=State9,1, ,R,State5,x327,y232,Line
   Instruction10=State0,0, ,R,State1,x135,y328,Line
   Instruction11=State0,1, ,R,State6,x199,y376,Line
   Instruction12=State1,0, ,R,State2,x215,y520,Line
   Instruction13=State1,1, ,R,State2,x215,y536,Line
   Instruction14=State2,0, ,R,State3,x551,y456,Line
   Instruction15=State2,1, ,R,State3,x567,y472,Line
   Instruction16=State3,0, ,R,State4,x535,y168,Line
   Instruction17=State3,1, ,R,State4,x551,y152,Line
   Instruction18=State4,0, ,R,State0,x263,y136,Line
   Instruction19=State4,1, ,R,State0,x263,y120,Line
   Textbox0=x118,y152,State0
   Textbox1=x80,y396,State1
   Textbox2=x391,y548,State2
   Textbox3=x593,y256,State3
   Textbox4=x420,y100,State4
   Textbox5=x280,y258,State5
   Textbox6=x272,y353,State6
   Textbox7=x344,y370,State7
   Textbox8=x440,y322,State8
   Textbox9=x344,y242,State9
   Textbox10=x99,y322,Instruction10
   Textbox11=x179,y386,Instruction11
   Textbox12=x206,y271,Instruction0
   Textbox13=x275,y322,Instruction1
   Textbox14=x227,y484,Instruction12
   Textbox15=x220,y567,Instruction13
   Textbox16=x307,y450,Instruction2
   Textbox17=x325,y375,Instruction3
   Textbox18=x467,y386,Instruction4
   Textbox19=x435,y370,Instruction5
   Textbox20=x435,y226,Instruction6
   Textbox21=x403,y274,Instruction7
   Textbox22=x332,y193,Instruction8
   Textbox23=x319,y256,Instruction9
   Textbox24=x544,y475,Instruction14
   Textbox25=x563,y498,Instruction15
   Textbox26=x515,y178,Instruction16
   Textbox27=x563,y130,Instruction17
   Textbox28=x259,y162,Instruction18
   Textbox29=x259,y98,Instruction19
   Textbox30=x116,y50,Text10
   Textbox31=x50,y639,Text11
   Textbox32=x41,y198,Text12
EndMachine

Machine:Text
Text0=
q_0
EndText
Text1=
q_1
EndText
Text2=
q_2
EndText
Text3=
q_3
EndText
Text4=
q_4
EndText
Text5=
q'_0
EndText
Text6=
q'_1
EndText
Text7=
q'_2
EndText
Text8=
q'_3
EndText
Text9=
q'_4
EndText
Text10=
Two-track DFA M_{5,0} --- will change to M_{5,2}.
EndText
Text11=
L(M_{5,0}) = {x \in {0,1}^* : ||i : x_i = 1 && i == 0 mod 5}|| is odd}.
EndText
Text12=
Start
EndText
EndMachine:Text

