Return to Article Details Types and automata Download Download PDF