您如何识别语言是常规语言还是上下文无关语言
How can you identify whether the language is regular or context-free language
例如，这种语言是常规语言还是上下文无关语言？
一方面 n 不能小于 m 但另一方面你不能计算 n 和 m.
{(ab)^n (ab)^m | n>=m>=0}
这是一个棘手的问题，因为它只是 {(ab)^n | n>=0} 以晦涩的方式写的。这显然是正常的。
一般来说，你用文法、自动机、抽取引理证明某种语言是或不是 , Myhill–Nerode 定理等
例如，这种语言是常规语言还是上下文无关语言？
一方面 n 不能小于 m 但另一方面你不能计算 n 和 m.
{(ab)^n (ab)^m | n>=m>=0}
这是一个棘手的问题，因为它只是 {(ab)^n | n>=0} 以晦涩的方式写的。这显然是正常的。
一般来说，你用文法、自动机、抽取引理证明某种语言是或不是 , Myhill–Nerode 定理等