one-way nondeterministic nested stack automata

• 单通路非确定嵌套式堆栈自动机