Literature/nipkow-rexp.pdf
author zhang
Sat, 05 Feb 2011 13:56:50 +0000
changeset 68 dceb84acdee8
parent 26 b0cdf8f5a9af
permissions -rw-r--r--
Check in Myhill.thy before trying another way to explain DFA

(binary:application/pdf)