 Nested stack automaton

A **nested stack automaton (NSA)** is a computational model that extends the capabilities of traditional pushdown automata (PDAs) by incorporating multiple stacks with a nested structure. While a standard PDA uses a single stack to manage a potentially infinite string of input symbols, a nested stack automaton can have a hierarchy of stacks that allows for more complex operations and relationships between the stacks.