形式语言的范畴计算模型研究  

Study on category computation model of formal language

作　　者：苗德成[1] 

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

出　　处：《韶关学院学报》2011年第12期8-11,共4页Journal of Shaoguan University

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

摘　　要：分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.This paper analyzes briefly limitations of traditional computation model for processing uncertain problems, makes category computation models of formal language by category theory, further studies objects relationship between lexicon category and grammar category by using bifunctor as a tool, and effectively solves uncertain computation problem of formal language recognition, which provides a kind of new thought for computation model to process uncertain problems.

关 键 词：计算模型 范畴 形式语言 不确定性 态射 

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