Automation 是由'生成的语言L；斐波那契弦'；（如说明所示）正常吗？如果不是，用泵引理来证明

斐波那契字符串的定义如下：S1=a、S2=b和Sk=S k-1S k-2表示k>2。例如 S3=ba，S4=bab等。让L是由

---

斐波那契弦。语言“L”是正规的吗？如果不是，则通过泵送引理来反驳。

考虑这种语言中字符串的长度。它们是斐波那契数本身。考虑S（i），这个集合中的第i个字符串。它的长度为F（i），其中F（i）是第i个斐波那契数

现在考虑S（i+1），长度为f（i＋1）的语言中的（i+1）第1串。我们可以将哪些字符串附加到此语言中以获得该语言中的另一个字符串？当然，我们可以附加空字符串。我们可以附加的下一个最小字符串是S（i）以得到S（i+2）。S（i）的长度为F（i）。因此，我们可以附加到语言中任何给定字符串以获得语言中另一个字符串的第二短字符串对于每个S（i）都是唯一的；因此，根据Myhill-Nerode定理，它们都是可区分的，而语言的最小DFA将需要无限多个状态来区分它们。由于DFA不能有无限多个状态，因此该语言没有DFA，并且由于该语言没有DFA，因此该语言是不规则的