provided the transition function is defined like this:
???
It seems the transition function is only defined for a start state of q0.
so I don't understand how they got from
δ (q1, 0) if x odd 0 even 1
δ (q2, 0) if x even 0 odd 1
δ (q3, 0) if x odd 0 odd 1
(δ (q0, 0) = q1 if x even 0 even 1 makes sense)
_______________________________________________
_______________________________________________
Got it.
Look directly at the diagram, and do the step.
Is that mathematically rigorous, though?
No comments:
Post a Comment