变抽象为直观:”形式语言与自动机”教学中的图论方法

摘要：

本文首先探讨”形式语言与自动机”课程的教学改革,包括:教学中存在的主要问题与对策,教学目标探讨,现有教材的比较,教学内容和组织方法.然后重点论述使用图论的方法来提供形象的直观教学,包括表示正则文法,使用图方法证明非正则语言,使用树方法证明上下文无关语言等,并一并给出建设性的教学建议.

关键词： 高等教育 形式语言与自动机课程 教学改革 图论法

作者: 任伟 赵俊阁 王志锋

作者单位: 中国地质大学(武汉)计算机学院信息安全系,武汉 430074 海军工程大学信息安全系,武汉 430030)

会议类型: 国内会议

会议名称: 2009年中国高校通信类院系学术研讨会

会议地点: 南宁

会议语种:中文

页码: 552-556

在线出版日期: 2009-09-18（万方平台首次上网日期，不代表论文的发表时间）