22.04.2014 Views

Lecture 3

Lecture 3

Lecture 3

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Myhill-Nerode Theorem<br />

do by hand<br />

dealt with lightly in Sipser<br />

and then in JFLAP<br />

Exercise 1.51 and 1.52<br />

has as a consequence the<br />

basis of a minimization<br />

algorithm for DFAs<br />

Minimize this:<br />

toMinimize.jff<br />

Friday, February 8, 13

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!