Almost everything I know about automata and formal languages I learned from Sipser's book or Wikipedia.