{\rtf1\ansi\deff0\deftab360 {\fonttbl {\f0\fswiss\fcharset0 Arial} {\f1\froman\fcharset0 Times New Roman} {\f2\fswiss\fcharset0 Verdana} {\f3\froman\fcharset2 Symbol} } {\colortbl; \red0\green0\blue0; } {\info {\author Biblio}{\operator }{\title Biblio RTF Export}} \f1\fs24 \paperw11907\paperh16839 \pgncont\pgndec\pgnstarts1\pgnrestart Caugherty, D., and S. H. Rodger, "NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata", \i Computational Support for Discrete Mathematics\i0 , vol. 15: American Mathematical Society, pp. 365-377, 1994.\par \par }