论文部分内容阅读
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.
形式语言的范畴计算模型研究
【摘 要】
：
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决
【机 构】
：
韶关学院数学与信息科学学院
【出 处】
：
韶关学院学报
【发表日期】
：
2011年12期
【基金项目】
：
广东省教育部产学研结合项目（20108090400335）,韶关学院科研项目（2010-207-04）.
其他文献
论述了印度斯坦锌业公司SK铅锌矿溜破系统中的原矿仓安全快速施工技术。该原矿仓净直径7.0 m,仓体工程量为38.708 m,为印度矿山行业容积最大的矿仓。该矿仓采用安全可靠的施
我国华北型煤田的诸多煤矿水文地质条件比较复杂,在煤系地层下伏有奥陶系高承压含水层。新民煤矿1#井8#、9#煤的开采将面临矿井水害问题,通过计算8#、9#煤开采时奥灰水的突水
中国山水画的表现形式和技法历代不同。《溪岸图》表现出作者对三度空间的极大兴趣,但在表现方面存在显而易见的瑕疵：画面构图呈现明显的＂V＂字形结构,造型力求细致而写实,＂有笔有
从应用性人才培养的要求出发。探讨地方高等院校大学英语教学模式和教学内容更新的必要性；以韶关学院大学英语教学改革为例，建构地方院校应用性大学英语教学实践体系；总结该实践
阐述了旅客登机桥的作用及对液压系统的要求。介绍了LTQ-2000Y型旅客登机桥的液压系统的设计实践，包括油源系统、升降回路、行走回路、转向回路、调平回路、回转回路和应急回
多年的科研和生产实践表明,由于煤体被开采或者在围岩体被采动引起煤体、围岩体变形、断裂使得瓦斯大量的运移,当瓦斯运移量大于煤体、岩体的抵抗强度时将导致瓦斯涌出或突出