我试图使用抽水引理证明以下语言不规则。
L = {a k b 3l a l | k ≥ 1 , l ≥ 0}
我决定选择 w = ab 3p a p,然后选择 |w| = 4p+1 ≥ p
有小费吗?
谢谢!
我试图使用抽水引理证明以下语言不规则。
L = {a k b 3l a l | k ≥ 1 , l ≥ 0}
我决定选择 w = ab 3p a p,然后选择 |w| = 4p+1 ≥ p
有小费吗?
谢谢!
我不确定您正在使用的抽水引理的确切公式。无论如何,这是一个相当棘手的情况,因为像维基百科这样的标准公式只能让你以固定长度的前缀抽取某个位置。但是您的初始块 a 允许在任何地方抽水,并且可以任意长。因此,您必须使用一些额外的属性。我建议两个: