【摘 要】
：
形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应
【机 构】
：
韶关学院数学与信息科学学院,华南理工大学计算机科学与工程学院
【基金项目】
：
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944);广东省科技计划项目(2012A010701011,2012A010701003);韶关市科技局项目(2013CX/K61)
论文部分内容阅读
形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。
其他文献
在煤矿等生产企业,大功率电机担负着提高劳动生产率,保持连续性生产,保证产品质量,实现自动控制和远距离操作,降低劳动人员工作强度保障安全的任务。多种类、大功率电机并联
动辄数百亿元的投资源源不断的注入，然而面对核心技术的一片空白，中国LED产业在深受专利壁垒之苦的同时该如何应对？
介绍了机器人施釉生产线的总体结构 ,为其周边设备设计了一套PLC控制系统 ,讲述了该系统的硬件实现 ,程序设计思路 ,说明了如何实现PLC与计算机的信号联系以达到输送和喷涂过
结合多年工作实践,查阅相关研究综述,分析基层农机推广服务体系存在的问题,针对性提出发展基层农机推广服务工作的建议,以供同仁参考和借鉴。
分析了六足仿生机器人典型行走步态和不同步态下的机器人落足点位置矢量表达式；运用AT89S52内部两个定时器，采用多舵机分时控制方法，设计的运动控制器可驱动机器人足部12个舵机
目的：探讨放松疗法对肝癌患者抑郁状态的护理干预效果。方法选取122例肝癌围手术期患者随机分为干预组和对照组。干预组采用放松训练进行护理，对照组采用常规护理，比较两组治疗
基层农机的推广服务,是对新型技术的农业机械进行了大力推广,大力促进了农业机械化的发展,提高了农业效率、增加了农民的收入,基层农机推广服务也间接促进了社会经济增长,在
以《河北省水功能区划》为依据,对河北省水功能区现状水质和入河废污水进行了分析评价。在此基础上,以COD和NH3-N为控制指标,根据确定的水功能区纳污能力计算模型,分别计算出
[目的]探讨儿科新护士规范化培训方法,使其尽快掌握儿科理论知识、操作技能,提升综合素质。[方法]将招聘入院的新护士分为两组。2011年7月—2014年7月毕业的新护士45人为观察
目的以尿N-乙酰-β-D氨基葡萄糖苷酶(NAG)活性、蛋白和尿素氮(BUN)含量为指标,研究不同染汞剂量与肾损伤程度的关系,并探讨汞暴露与肝、肾、尿汞含量之间的相关性.方法 Wista