这些语言是REGULAR / CONTEXT免费但不是REG / Nothing吗？

Question

(1) {((a^2)(b^4)ab)^(3k) : k>=0}

(2) {a^(2n)b^(3n) : n >= 7}

(3) {a^(2n)b^(3n) : n <= 7}

1）对此没有任何线索。

2）我认为它的contextFree因为n没有限制，不像3）我们不能建立一个finit自动化，但我们可以建立一个语法：

S ---> (a^14)X(b^21)

X ---> aabbb | aaXbbb   

3）对我而言，它是一种常规语言，因为n值的限制使我们能够用自动化来表示它。

Answer 1

（1）是正规的。正则表达式是：

from ipaddress import ip_interface
ip_interface("10.1.1.1/24").ip
ip_interface("10.1.1.1/24").ip.version
ip_interface("10.1.1.1").ip
ip_interface("10.1.1.1").ip.version

（2）没有上下文但不规则。要看到它不规则，请在字符串上使用泵浦引理：

(aabbbbabaabbbbabaabbbbab)*

认为抽水只会改变一个人的数量。要查看它是无上下文的，这是一个CFG：

a^(14p) b^(21p)

（3）这是常规的，因为它是由以下八个单词组成的有限语言：

S := a^14 b^21 | aaSbbb