WORDS NEAR pushdown-automaton IN THE DICTIONARY