Documentation for tex-automata.