Nested stack automaton
In automata theory, a nested stack automaton is a finite automaton that can make use of a stack containing data that can be additional stacks. Like a stack automaton, a nested stack automaton may step up or down in the stack, and read the current symbol; in addition, it may at any place create a new stack, operate on that one, eventually destroy it, and continue operating on the old stack.