声明
摘要
第1章 绪论
1.1 概述
1.1.1 国内外研究的历史和现状
1.1.2 本课题的研究意义
1.2 创新点及主要内容
第2章 基于序半群的自动机的代数性质
2.1 取值于序半群的自动机定义及其性质
2.2 L-FFA的一种分解形式
2.2.1 弱子机器和弱主子机器
2.2.2 L-FEA的一种分解方法及结果
2.3 L-FFA的模糊后继和前驱算子,模糊子机器和子系统
2.4 序半群上的模糊自动机的代数刻画
2.5 实例分析
第3章 基于格的模糊文法理论
3.1 格值有穷自动机及其语言
3.2 基于格的模糊文法
3.3 格值正则文法和格值有穷自动机
3.3.1 格值正则文法和格值有穷自动机
3.3.2 格值确定型正则文法及其刻画
第4章 直觉模糊上下文无关语言
4.1 预备知识
4.2 直觉模糊下推自动机
4.3 直觉模糊上下文无关文法
4.3.1 直觉模糊文法与直觉模糊上下文无关文法
4.3.2 直觉模糊上下文无关文法的代数刻画
4.3.3 直觉模糊上下文无关语言的代数性质
4.4 直觉模糊上下文无关语言的Pump引理
第5章 伪半环上的加权下推自动机与上下文无关文法
5.1 基于伪半环的加权下推自动机
5.1.1 定义
5.1.2 加权下推自动机之间的关系
5.1.3 加权下推自动机的代数刻画
5.2 取值于伪半环的加权上下文无关文法
5.2.1 定义及其性质
5.2.2 WCFG与WPDA(θ)之间的关系
5.3 实例分析
结论
参考文献
致谢
附录A 攻读学位期间所发表的学术论文目录