newer writeup
Merge branch 'master' of https://github.com/benjipdx/dfa-analyzer
update pdf latex