中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Géraud Sénizergues
来自维基百科,自由的百科全书
Found in articles
确定下推自动机
自动机是等价的)。被空栈接受的语言是被最终状态接受的语言,同时满足没有在语言中的串是在语言中的其他串的前缀。 傑霍·賽尼澤格(英语:
Géraud
Sénizergues
)证明了确定 PDA 的等价问题(即给定两个确定 PDA A 和 B,L(A)=L(B) 吗?)是可决定的。对非确定 PDA 这个问题是不可决定的。
哥德尔奖
1.1.145.4652 , ISSN 0004-5411,
S
2CID 8561542, doi:10.1145/278298.278306, (原始内容 (PDF)存档于2011-06-10)
Sénizergues
,
Géraud
, L(A) = L(B)? decidability results