确定性下推自动机中的所有状态都可以最终确定吗？

Question

在构造确定性下推自动机时，每个状态都可以是最终状态吗？

我在构建一个接受以下语言的DPDA时遇到了麻烦：

L = {0 ⁿ 1 ^m | n≥m}

我的方法是使初始状态成为最终状态，可以将0压入堆栈以输入0，然后转换为另一个最终状态，可以将0从堆栈中弹出0用作输入1。 我认为该解决方案是正确的，但是将每个状态都转换为最终状态似乎并不寻常，我想验证我的方法是否有效。

这是正确的方法吗？ 我可以将两个状态都作为最终状态吗？ 这是我的DPDA的确切转换函数δ。

δ（Q _{0，0，Z 0）=} {（Q _{0，0 0Ž）}}

δ（Q _{0，0，0）=} {（Q _0，0 0）}

δ（Q _{0，1，0）=} {（Q _1，ε）}

δ（Q _{1，1，0）=} {（Q _1，ε）}

Answer 1

当然，每个状态在确定性下推自动机中可以是最终状态。 您的方法对我来说似乎是正确的。 根据您对确定性的定义，可能还需要添加一个转换，以处理您在状态q_1处读取0的情况，以便获得总转换函数（但这取决于上下文中确定性是什么） 。）