state machines with stacks, capable of accepting the set of context-free languages.