泵引理相关论文
树自动机在计算理论中发挥着关键性作用,一方面它是现代计算机科学的重要基础,另一方面它还是计算理论的重要数学模型之一.加权树......
初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值......
利用泵引理原理，先对A2={ωωω｜ω∈{0，1}^＊}，A3={ω^k｜ω∈{0，1}^＊，k≥2，k∈N}是非正则语言进行了证明，在此基础上，进一步证明了A={μω^kv}｜......
