https://azpdf.net/document/y4wxm349-cs-automata-theory.html