tech,4-2-J89-4003,ak languages </term> . The model is a <term> pushdown automaton </term> augmented with the ability to check
hide detail