Automata - Course notes from the University of Kentucky with sections on finite state automata, pushdown automata and linear bounded automata. [PDF]
Automata and Formal Languages - A terse statement of important definitions and theorems in this field of study.
Automata Theory - Wikipedia article on finite state machines with links to articles about pushdown automata, linear bounded automata and Turing machines.
Automata Theory - An essay by David Weir.
Computation, Automata, Languages - Notes, small essays, explanations, reading lists. By Cosma Rohilla Shalizi.
Finite Automata to Turing Machines - Set of slides from History of Computers and Computing with basic information on automata. [PDF]
Finite State Machine - Wikipedia article on FSA, Moore and Mealy machines.
Theory of Automata and Formal Languages - Survey of finite state automata, pushdown automata, Turing machines and the languages accepted by these devices. [PDF]