让L = {a^f(m) | m >= 1 } f: Z^+ -> Z^+单调增加并符合n中所有元素Z^+的{{1}}属于m Z^+这样f(m+1) - f(m) >= n。
是否有可能证明L是常规语言？
答案 0 :(得分：1)
设f（x）= 2 ^ x。对于任何正n，f（n + 1）-f（n）> = n。
L = {a ^ f（m）}不规律。考虑字符串a ^（2 ^ x + 1）。在FA处理这样的字符串之后，导致接受状态的最小字符串是^（2 ^ x-1），其长度为2 ^ x-1。因此，x的每个值都需要单独的状态。由于x（正整数）的数值无穷多，因此不存在识别L的FA; ergo，L不是常规语言。