The best Theory of Formal Languages for Automata documents for Computer science