This website has all articles related to automata theory or theory of computation in computer science. It has basics of NFA, DFA, Regular expressions, pumping lemma, regular grammar, context free grammar, pushdown automata and turing machine. It also has lots of examples explaining how to convert DFA to NFA, RE to DFA etc.