Documentation for tex-automata.

Homepage:
https://ctan.org/pkg/automata
