考虑以下陈述。
- S1：每个 SLR(1) 文法都是无歧义的，但有些无歧义文法不是 SLR(1)。
- S2：对于任何上下文无关文法，都有一个解析器最多需要 O(n 3 ) 时间来解析长度为 n 的字符串。
以下哪个选项是正确的?
(A) S1 为真，S2 为假
(B) S1 为假，S2 为真
(C) S1 为真，S2 为真
(D) S1 为假，S2 为假答案： (C)
说明：解析器的类型：
陈述(S1)是正确的。
使用CYK算法我们可以测试CFG的隶属度问题。解析长度为 n 的字符串最多需要 O(n 3 ) 时间。
陈述(S2)也是正确的。这个问题的测验