in class you said proving for q1 is like proving q2, but in proof of q2 you relied on q1, how do you prove q1 without relying on some other stage?

i think an explanation of stages of proof is really needed, answering the questions:

a. which one of the stages need a proof by induction?

b. which state proof to start with?

etc.

we understand the example in class but it really doesn't explain how to prove for other automatas.

]]>in the tirgul we proved for q1 and q2 but not for q0, why is that?

]]>