The best Theory of Automata documents for Computer science