notes-math-aDEClassification
http://blog.sigfpe.com/2009/06/automata-and-a-d-e-classification.html