13.07.2015 Views

NFA, DFA, and regular expressions - 204213 Theory of Computation

NFA, DFA, and regular expressions - 204213 Theory of Computation

NFA, DFA, and regular expressions - 204213 Theory of Computation

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Outline Review Nondeterminism Eq. <strong>of</strong> <strong>NFA</strong>s <strong>and</strong> <strong>DFA</strong>s Closure Reg.Ex. Eq. between Reg.Ex. <strong>and</strong> FAaA machine that always guesses correctlySuppose that our machine can guess where x ends.It cansimulate M 1 on the input string up to the end <strong>of</strong> x,jump to the start state in M 2 right after x ends, <strong>and</strong>accept string w = xy when the machine stops at some acceptstate in M 2 .Can machine guess?

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

Saved successfully!

Ooh no, something went wrong!