令Q =({q 1 ,q 2 },{a,b},{a,b,Z},δ,Z,ϕ)为下推自动机,该空下接受为所有非在集合{a,b}上清空甚至回文。以下是转变δ的不完整说明。完成规格。假定堆栈的顶部在表示堆栈内容的字符串的右端。
δ(q1, a, Z)={(q1, Za)}
δ(q1, b, Z)={(q1, Zb)}
δ(q1, a, a)={(..... , .....)}
δ(q1, b, b)={(..... , .....)}
δ(q2, a, a)={(q2, ϵ)}
δ(q2, b, b)={(q2, ϵ)}
δ(q2, ϵ, Z)={(q2, ϵ)}
回答:
解释:
这个问题的测验
如果您在以上帖子中发现任何错误,请在下面发表评论