在自动机理论中，嵌套堆栈自动机是可以利用持有作为附加栈的数据的栈的有限自动机。 嵌套堆栈自动机除了压入和弹出外还可以读它的栈。嵌套堆栈自动机有能力识别附标语言。