14.07.2013 Views

r - 南京大学计算机科学与技术系

r - 南京大学计算机科学与技术系

r - 南京大学计算机科学与技术系

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

DFA最⼩小化的正确性证明<br />

位于П final 的同一组中的状态不可能被任意串区分<br />

П final 的不同组的状态之间是可区分的

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

Saved successfully!

Ooh no, something went wrong!