| 一种基于范畴论方法的形式语言模型 |
| |
| 引用本文： | 苗德成.一种基于范畴论方法的形式语言模型[J].韶关学院学报,2012,33(6):9-12. |
| |
| 作者姓名： | 苗德成 |
| |
| 作者单位： | 韶关学院数学与信息科学学院,广东韶关,512005 |
| |
| 基金项目： | 广东省教育部产学研结合项目(2010B090400335);韶关学院科研项目(2010-207-04) |
| |
| 摘 要： | 针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.
|
| 关 键 词： | 形式语言 模型 素描 范畴 语义 |
A categorical-method-based formal languages model |
| |
| MIAO De-cheng.A categorical-method-based formal languages model[J].Journal of Shaoguan University(Social Science Edition),2012,33(6):9-12. |
| |
| Authors: | MIAO De-cheng |
| |
| Institution: | MIAO De-cheng(College of Mathematics and Information Science,Shaoguan University,Shaoguan 512005,Guangdong,China) |
| |
| Abstract: | This paper proposes a categorical-method-based formal languages model considering the status quo of formal languages researches both at home and abroad,demonstrates the inherent relationship between the model and its generated category in the formal framework of category,applies the model to an example using sketch which is a categorical tool,and shows the model has advantage of keeping semantics integrity of formal languages by analyzing and comparison.This paper provides a kind of new thought for researching formal languages theory basing on categorical method,so as to provide a convenient and efficient formal theoretical framework for designing structure of formal system and formal languages theory. |
| |
| Keywords: | formal languages model sketch category semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
