我在字母{0,1}上有{4 ^（w⋅g）34 ^（g）| w，g∈NAT}。
我需要查明这种语言是否可识别，可判定，无上下文，有规律或无。
我将如何做或知道？
由于
答案 0 :(得分：0)
考虑4^a 3 4^b形式的任何字符串。我们能为w, g找到a, b吗？好吧，我们知道g必须等于b，然后我们才能选择w = a + g。由于a，b和g是自然数，因此w也必须如此;答案是，是的，对于4^a 3 4^b形式的任何字符串，我们都有您所用语言的字符串。
4^a 3 4^b形式的所有字符串的语言由正则表达式4* 3 4*描述，因此，您的语言是常规的，无上下文，可判定和可识别的。
假设您的语言不规律;你怎么能说出来的？对于常规语言，您可以使用Myhill-Nerode定理或Pumping Lemma来假设语言是正则的，从而产生矛盾。
假设您的语言没有上下文。您可以将Pumping Lemma用于无上下文语言，以避免假设语言没有上下文。
当然，如果您的语言不具备可判断性或可识别性，您也可以通过各种方式证明这一点。