【发布时间】：2012-02-01 12:08:32
【问题描述】：
字母表上的字符串{a, b, c, d}，其中没有c 紧跟a，没有d 紧跟b。
这将是一个上下文无关而不是常规的对吗？
【问题讨论】：
-
我认为这是上下文无关的而不是常规的。
-
提示：这和语言一样有规律。
【发布时间】：2012-02-01 12:08:32
【问题描述】：
要回答这样的问题，您通常需要假设最严格的语言类型，然后尝试反驳它。如果你无法反驳它，你需要找到一种方法来使用适当的语法或自动机来表达它。如果您能反驳它，请移至层次结构的下一级并重复。
在这种情况下，您至少有两种选择来尝试证明该语言不是正则语言：正则语言的泵引理和 Myhill-Nerode 定理。如果无法从这些中证明该语言是不规则的，则您需要正确地为该语言纠正正则语法、正则表达式或有限自动机。通常，使用抽水引理或 Myhill-Nerode 定理的失败尝试可以让您深入了解如何找到常规语言的这种表示（例如，抽水引理可以告诉您，在有限自动机，Myhill-Nerode 定理可以告诉你有限自动机必须有多少个状态，以及它们之间必须经过哪些转换。
这将是一个上下文无关而不是常规的对吗？
为什么要这么说？发表导致这个结论的论点，我会评估这个论点。
【讨论】：