用有限状态机图表示堆栈ADT

Question

我正在尝试使用有限状态机图来表示Stack抽象数据类型，而我正在努力寻找一种表示无界字母表的方法。堆栈可以有无限数量的元素，但我无法在图表中绘制无限状态。

我倾向于使用递归，但我找不到在有限状态机图中表达递归的任何示例。是否有标准的方法来绘制递归？或者我的无限问题有另一种解决方案吗？

Answer 1

与堆栈对应的机器模型是下推自动机。众所周知，这种模型比有限状态机更强大。因此，不可能用后者表示堆栈。你的问题没有解决办法。

但是，您没有无界字母。只有堆栈上的符号数是无限的。