设 fsa 和 pda 是两个谓词，使得 fsa(x) 表示 x 是有限状态自动机，而 pda(y) 表示 y 是下推自动机。让等价物成为另一个谓词，使得等价物 (a, b) 表示 a 和 b 是等价的。以下哪个一阶逻辑语句代表以下内容：
每个有限状态自动机都有一个等效的下推自动机。
(一) A
(乙)乙
(C)丙
(四)丁
答案：(一)
解释：考虑每个选项：
(A) 如果一切都是 FSA，那么对于一切都存在一个等效的 PDA。
(B) 对于所有 y，如果存在一个 FSA，那么它就没有一个等效的 PDA。
(C) 一切都是 FSA 并且有一个等效的 PDA。
(D) 一切都是 PDA 并且已经存在一个等效的 FSA。
因此，选项(A)是正确的。
如果您发现上面的帖子有任何错误，请在下面发表评论。
这个问题的测验