automata.tex 2.01 KB