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

来源 :计算机教育 | 被引量 : 0次 | 上传用户:yl19850320
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
引导学生关注学科前沿,培养学生理论研究兴趣是高校教学的重要任务之一。笔者尝试在编译原理的教学中,引导学生思考关于计算的基本问题:如何描述问题,是否有问题没有算法,等等。文章从编译原理课程中形式语言与自动机部分内容中,引出字符串匹配、自动机等价测试、上下文无关文法等价测试等问题,证明有不可计算的问题,介绍和分析相关算法,引导学生理论研究兴趣,拓展课程学习深度和广度。
其他文献
随着农村经济的不断发展,对农业机械的使用不断增减,只有提高农机操作人员和农机管理服务人员素质,才能科学地操作各种现代化农机工具,最大限度地发挥农机效益。提高农机操作
目的:探讨产褥期下肢血栓性静脉炎快速有效的治疗办法。方法:回顾分析2000年1月。2005年8月产褥期下肢血栓性静脉炎患者16例,均采用中西医结合治疗,急性期给予西药控制感染、抗凝
兰州大学为计算机相关专业本科生开设存储技术相关课程,结合当前Intel凌动处理器平台的推广,设计和实现网络存储实验教学案例。该案例以构建网络存储系统为整体目标,基于Intel凌
目的:探讨妊娠期急性脂肪肝的早期诊断及治疗。方法:对我院近6年收治的10例妊娠期急性脂肪肝临床资料进行回顾性分析。结果:10例均发生于妊娠晚期,初产妇8例,经产妇2例;均有恶心、