标签： pushdown-automaton
我是下推式自动机领域的新手，我必须实现一个PDA，该PDA有时只清除堆栈中的所有符号，并使堆栈为空而不消耗任何输入。我的问题是在单个转换中进行操作是否合法-即在epsilon输入上，从堆栈中弹出$ \ Gamma $ *并推动epsilon，或者我必须逐个符号地进行操作，直到到达空堆栈标记符号（我必须确保首先将其插入堆栈）。
谢谢！
吉尔