基于范畴论的形式语言模型建模方法研究

• 作者: 奚建清 苏锦钿 苗德成
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 模型 形式语言 范畴论 语义一致性 完备性
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 19-23
• 页数: 5页
• 分类号: TP301
• 字数: 8337字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.04.005

摘要

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状，建立形式文法模型及其形式语言模型，应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内，用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性，通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势，为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚建清	华南理工大学计算机科学与工程学院	96	872	13.0	25.0
2	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0
3	苗德成	韶关学院数学与信息科学学院	19	35	3.0	5.0