can we please get an explanation of how to prove a DFA is correct? not an example like in the tirgul, but the actual formal stages?

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

- Instructors
- Dr. Iftach Haitner

Prof. Yishay Mansour - Assistants
- Yuval Moskovitch

Mariano Schain

- Mid Term: March 28
^{th}, 2014 - Exam: Jul. 18
^{th}, 2014 - Moed B: Aug. 27
^{th}, 2014

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License