摘要：ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误．本文介绍了ＯＯＺＳ类型检查器的设计与实现．

摘要：STEP 交换文件的一致性检测,是保证其与应用协议中规定的信息要求完全一致。本文介绍了用 yacc 工具设计一致性检测工具的原理;从基本数据类型、实体属性、各种类型的实体等几个方面,阐述了 EXPRESS 描述的应用解释模型与 yacc 产生式的映射关系,并给出 CSG 模型的映射实例。

摘要：ＶＨＤＬ语言及其支撑环境是逻辑设计自动化中的活跃领域，本文论述了ＶＨＤＬ语言分析器的设计原理及实现中的关键技术．按照文中的方法，已实现了基于ＶＨＤＬＩＥＥＥ１０７６标准版本的ＶＨＤＬ语言分析器并对其进行了一系列严格的测试，该ＶＨＤＬ语言分析器是北京理工大学计算机科学与工程系开发的ＶＨＤＬ高级综合及混合模拟系统的重要组成部分．

摘要：通过常用的教学模型对编译程序的语法分析方法进行分析与比较,对于程序设计语言的正确理解和使用具有重要作用。