是否可以证明L是正则语言？
设 L = {a^f(m) | m >= 1 } 其中 f: Z^+ -> Z^+ 是单调递增的，并且符合 Z^+ 中所有元素 n 都有一个属于 m >Z^+ 使得 f(m+1) - f(m) >= n。 是否可以…
上下文无关语言的闭包性质
我有以下问题： 语言 L1 = {a^n * b^n : n>=0} 和 L2 = {b^n * a^n : n>=0} 是 上下文无关语言，因此它们在 L1L2 下是封闭的，因此 L={a^n * b^2n A^n…
推广 UNIX 风格正则表达式的泵引理
除了常见的 **、+、?* 运算符之外，大多数 UNIX 正则表达式还具有反斜杠运算符，其中 \1,\2 ,... 匹配最后一个括号中的内容，因此例如 *L=(a*)b\1* 匹…
- 共 1 页
- 1
