Computation, Automata, Languages - Notes, small essays, explanations, reading lists. By Cosma Rohilla Shalizi. Automata Theory - An essay by David Weir. Finite State Machine - Wikipedia article on FSA, Moore and Mealy machines. Automata and Formal Languages - A terse statement of important definitions and theorems in this field of study. Turing Machines - A brief survey of finite state automata, pushdown automata, linear bounded automata and Turing machines. Automata Theory - Wikipedia article on finite state machines with links to articles about pushdown automata, linear bounded automata and Turing machines.