Return to Article Details Monadic Quantifiers Recognized by Deterministic Pushdown Automata Download Download PDF