This document discusses pushdown automata, which are abstract machines that can recognize context-free languages. It is authored by Prof. Neeraj Bhargava and Abhishek Kumar from the Department of Computer Science at the School of Engineering & System Sciences at MDS University in Ajmer, Rajasthan, India. The document covers notational conventions for pushdown automata.
