论文部分内容阅读
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.
形式语言的范畴计算模型研究
【摘 要】
：
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决
【机 构】
：
韶关学院数学与信息科学学院
【出 处】
：
韶关学院学报
【发表日期】
：
2011年12期
【基金项目】
：
广东省教育部产学研结合项目（20108090400335）,韶关学院科研项目（2010-207-04）.
其他文献
论述了印度斯坦锌业公司SK铅锌矿溜破系统中的原矿仓安全快速施工技术。该原矿仓净直径7.0 m,仓体工程量为38.708 m,为印度矿山行业容积最大的矿仓。该矿仓采用安全可靠的施
我国华北型煤田的诸多煤矿水文地质条件比较复杂,在煤系地层下伏有奥陶系高承压含水层。新民煤矿1#井8#、9#煤的开采将面临矿井水害问题,通过计算8#、9#煤开采时奥灰水的突水
近日，在北京举行的国家“973计划”和重大科学研究计划2009年项目实施会上，山西大学量子光学与光量子器件国家重点实验室王海教授为首席科学家的“基于光场量子态的量子信息研
中国山水画的表现形式和技法历代不同。《溪岸图》表现出作者对三度空间的极大兴趣,但在表现方面存在显而易见的瑕疵：画面构图呈现明显的＂V＂字形结构,造型力求细致而写实,＂有笔有
1月17日．由中央党校国际战略研究所和中共太原市委、太原市人民政府联合在太原市举办了“转变发展方式、推动科学发展暨‘太原实践与探索’高层理论研讨会”。来自中央和国家
从应用性人才培养的要求出发。探讨地方高等院校大学英语教学模式和教学内容更新的必要性；以韶关学院大学英语教学改革为例，建构地方院校应用性大学英语教学实践体系；总结该实践
阐述了旅客登机桥的作用及对液压系统的要求。介绍了LTQ-2000Y型旅客登机桥的液压系统的设计实践，包括油源系统、升降回路、行走回路、转向回路、调平回路、回转回路和应急回
每一场大的危机常常伴随一场新的科技革命：每一次经济的复苏，都离不开技术创新。而科技创新政策则是推动经济在波动中实现稳定增长的强大杠杆。因为科技创新的活跃带来经济繁荣
“就是勒紧腰带，也要帮助企业科技创新!”中共太原市委副书记、市长张兵生调研科技创新促进转型发展工作后明确表示：“科技创新是企业转型发展的坚强支撑，没有科技创新，转型发展
多年的科研和生产实践表明,由于煤体被开采或者在围岩体被采动引起煤体、围岩体变形、断裂使得瓦斯大量的运移,当瓦斯运移量大于煤体、岩体的抵抗强度时将导致瓦斯涌出或突出