TY - BOOK AU - Sharma, Anand. TI - Theory of automata and formal languages SN - 9788131806005 PY - 2006///, 2014 CY - New Delhi PB - Laxmi Publications Pvt. Ltd. KW - Robots KW - Programming languages N1 - Includes references and index N2 - Contents: Introduction. -- Introduction to finite automata. -- Introduction of regular expression. -- Introduction to context-free-grammars. -- Push-down-automata. -- Turing-machine. -- Functions. -- Introduction to production-system. -- Introduction to post-machine. -- Universal-turing-machine ER -