论文部分内容阅读
本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。
格值树自动机与格值上下文无关树文法的等价性
【摘 要】
：
本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价
【机 构】
：
陕西师范大学数学与信息科学学院,陕西师范大学计算机科学学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年11期
【基金项目】
：
国家自然科学基金资助项目（10571112）
其他文献
目的探讨川崎病的诊断要点、冠脉损害及治疗与转归。方法回顾分析33例川崎病病儿的临床资料及诊治情况并作出评价。结果 33例中,典型川崎病组26例,不完全型川崎病组7例,静脉
本文研究了Linux操作系统中文件系统日志服务的体系结构和关键技术，分析了Linux操作系统中已有日志服务器JBD的结构，提出了一种新日志服务器—JoumalFS的模型，证明了使用Journal
目的探讨多囊卵巢综合征(PCOS)病人卵泡液褪黑素和氧化应激相关指标间的相关性。方法选取2016年1月至2017年12月无锡市妇幼保健院PCOS病人30例,为观察组,选取同期入院的由于
秘书作为一种现代职业,肇始于西方。秘书学教育在我国起步较晚,目前国内秘书实际工作者和秘书学教师对国外的关注和研究较少。无论是秘书职业化水平还是秘书人才培养水平,均
<正>第一部分:开题报告一、课题提出的背景及研究意义(一)课题的研究背景1.新课程标准把学校德育教育放在了首位。它的课程培养目标要求学生具有爱国主义,集体主义精神;热爱
会议
目的应用Meta分析方法评价少弱精子症患者单独应用左卡尼汀与左卡尼汀联合其他药物治疗后精液质量改善的总有效率的变化。方法检索万方数据库、中国知网期刊数据库、中国生物
<正> 上海博物馆在迎来50周年大庆之际,由故宫博物院、辽宁省博物馆、上海博物馆联合举办的"晋唐宋元书画国宝展"隆重开幕了。国宝荟萃的书画作品中,元代王冕的《墨梅图》如
期刊
摘 要：数学学科是一门重要的学科，对于学生各项能力的培养和提升有着不可或缺的作用，而数学课堂教学是学生进行数学学习的重要场所，小学数学教师要进一步强化课堂教学实施，不断地摸索数学课堂高效施教的规律，并以数学课堂教学中存在的问题为依托和指引，积极的探索有效解决问题的策略和手段，从而进一步完善小学数学课堂教学，为学生学习数学知识内容创造良好的环境条件。 关键词：小学数学;课堂教学;策略;探索 低段