一种基于范畴论方法的形式语言模型  

A categorical-method-based formal languages model

作　　者：苗德成[1] 

机构地区：[1]韶关学院数学与信息科学学院,广东韶关512005

出　　处：《韶关学院学报》2012年第6期9-12,共4页Journal of Shaoguan University

基　　金：广东省教育部产学研结合项目(2010B090400335);韶关学院科研项目(2010-207-04)

摘　　要：针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.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.

关 键 词：形式语言 模型 素描 范畴 语义 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]