抽象机
编译原理语义分析的教学探索
编译原理语义分析的教学探索[摘要]编译原理课程是高校计算机类专业的重要的基础和骨干课程。而语义分析又是编译原理课程重点中的难点。设计了抽象机模型，使用抽象机的操作行为描述程序设计语言的语义。针对传统的分支和循环语句，分析了控制结构的抽象，提出了分支和循环控制语句的语义模型。在编译原理课程的教学中，有效地帮助学生理解了语义分析的原理和技术。[关键词]编译原理 控制结构 语法制导翻译 语义模型在语言及...
基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证
第39卷，第3期2 0 1 8年5月c中酬!m d Vol. 39 No.3 M ay, 2018文章编号：1001-4632 (2018) 03-00101-09基于通信顺序进程与B方法的C B T C计算机联锁系统的形式化建模与验证王鲲1>2(1.中国铁道科学研究院通信信号研究所，北京100081;2.国家铁路智能运输系统工程技术研究中心，北京100081)摘要：针对CBTC联锁系统的复...
