tech,4-2-J89-4003,ak | languages </term> . The model is a <term> | pushdown automaton | </term> augmented with the ability to check | #20117 The model is a pushdown automaton augmented with the ability to check reduplication by using the stack in a new way. |