%0 Journal Article
%T 基于完备剩余格值逻辑的自动机和文法理论
%A 彭家寅
%J 模式识别与人工智能
%P 610-618
%D 2011
%X 初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架。引入l值正则文法的概念，证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言，反之，任意l值正则文法所生成的语言等价于某种l值自动机识别的语言。获得l值自动机及被l值自动机识别的语言的连接问题刻画。特别地，建立l值和L值泵引理，并得到l值语言的判定性刻画。最后，揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系。
%K 非经典逻辑
%K 自动机
%K 正则文法
%K 形式语言
%K 泵引理
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract9352.shtml