| 形式语言的范畴计算模型研究 |
| |
| 引用本文： | 苗德成. 形式语言的范畴计算模型研究[J]. 韶关学院学报, 2011, 32(12): 8-11 |
| |
| 作者姓名： | 苗德成 |
| |
| 作者单位： | 韶关学院数学与信息科学学院,广东韶关,512005 |
| |
| 基金项目： | 广东省教育部产学研结合项目（20108090400335）;韶关学院科研项目（2010-207-04）. |
| |
| 摘 要： | 分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.
|
| 关 键 词： | 计算模型 范畴 形式语言 不确定性 态射 |
Study on category computation model of formal language |
| |
| MIAO De-cheng. Study on category computation model of formal language[J]. Journal of Shaoguan University(Social Science Edition), 2011, 32(12): 8-11 |
| |
| Authors: | MIAO De-cheng |
| |
| Affiliation: | MIAO De-cheng (College of Mathematics and Information Science, Shaoguan University, Shaoguan 512005, Guangdong, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | computation model category formal language uncertain morphism |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
