КПК, который очищает свой стек во время выполнения
Я новичок в пространстве автоматов pushdown, и мне нужно реализовать КПК, который в какой-то момент просто удаляет все символы из стека и оставляет стек пустым, не потребляя никакого ввода. Мой вопрос, законно ли сделать это за один переход - а именно, при вводе epsilon, вытолкнуть $\Gamma$* из стека и нажать epsilon, или мне нужно делать это символ за символом, пока я не доберусь до пустого маркера стека символ (который я должен убедиться, что сначала помещается в стек).
Спасибо!
Гил