Automata abnt para DTD doc

Fixes #618