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