形式语言中的几个算法问题

来源 :计算机教育 | 被引量 : 0次 | 上传用户:yl19850320
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
引导学生关注学科前沿,培养学生理论研究兴趣是高校教学的重要任务之一。笔者尝试在编译原理的教学中,引导学生思考关于计算的基本问题:如何描述问题,是否有问题没有算法,等等。文章从编译原理课程中形式语言与自动机部分内容中,引出字符串匹配、自动机等价测试、上下文无关文法等价测试等问题,证明有不可计算的问题,介绍和分析相关算法,引导学生理论研究兴趣,拓展课程学习深度和广度。
其他文献
产褥期是产妇分娩后身体各器官复原的一个重要时期,是新生儿健康成长的关键时期,也是母乳喂养成功的关键时期。在产褥期我们做好产后访视并健康教育宣传会对母婴健康打下良好的
2003年4月28日,国内著名的民营IT企业"联想集团"正式将1988年6月香港联想开业采用的英文品牌名称"LEGEND"更换为"LENOVO".据称,"联想集团"此次换牌是为了开拓国际市场,实现"
随着农村经济的不断发展,对农业机械的使用不断增减,只有提高农机操作人员和农机管理服务人员素质,才能科学地操作各种现代化农机工具,最大限度地发挥农机效益。提高农机操作
目的:探讨产褥期下肢血栓性静脉炎快速有效的治疗办法。方法:回顾分析2000年1月。2005年8月产褥期下肢血栓性静脉炎患者16例,均采用中西医结合治疗,急性期给予西药控制感染、抗凝
目的:了解广州市东山区4770名小学生的营养状况。方法:对2005年广州市东山区农林街的小学生健康检查结果进行分析和评价。结果:广州市东山区各年龄组小学生营养不良和肥胖的比例
北京师范大学—香港浸会大学联合国际学院是首家中国内地与香港高等教育界合作创办的大学,实施四年全英文教育,颁发香港浸会大学学士学位。"信息技术基础"课程是学院非计算机专
为保障春耕期间化肥供应与价格基本稳定,减少国内钾肥资源消耗、满足国内钾肥需要,满足台风、洪涝等自然灾害灾后应急用肥需要,构建功能完备、科学规范、运行高效的国家化肥
兰州大学为计算机相关专业本科生开设存储技术相关课程,结合当前Intel凌动处理器平台的推广,设计和实现网络存储实验教学案例。该案例以构建网络存储系统为整体目标,基于Intel凌
目的:探讨妊娠期急性脂肪肝的早期诊断及治疗。方法:对我院近6年收治的10例妊娠期急性脂肪肝临床资料进行回顾性分析。结果:10例均发生于妊娠晚期,初产妇8例,经产妇2例;均有恶心、
为全面提高妇女健康水平和人口生育质量,新都区妇幼保健工作从1990年开始在全区31家医疗保健单位实行以高危妊娠报卡为主要方式的科学化管理,有效地降低了孕产妇死亡率。1986~19