GB-T 15936.10-1996 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分 形式规范

ICS_35. 240. 20 L 76 GB 中华人民共和国国家标准 GB/T 15936.10—1996 idt IS0 8613-10:1991 信息处理文本和办公系统办公文件体系结构(ODA)和交换格式第10部分：形式规范 Information processing--Text and office systems- Office Document Architecture(ODA) and interchange formatPart 10:Formal specifications 1996-12-26发布 1997-07-01实施国家技术监督局发布 GB/T 15936.10---1996 目次前言 ISO前言 1范围 2 引用标准 3 定义 4 规范语言的语法和语义 4.1 基本概念…· 4.2 规范语言的语法 4.3 含固有语义的谓词符号 4.4 含固有语义的算符符号 4.5 其他项 4.6 记号筒化 5 形式规范的结构 6 常用定义 oi 文件结构的形式规范 16 7. 1 组元集· 7. 2 组元· 31 7. 3 属性…· 55 7. 4 辅助定义· 80 7. 4. 1 谓词 80 7.4.2 函数· 87 7.5补充术语定义。 7. 6 谓词符号、算符和属性名的索引 91 附录A（提示的附录）有关规范语言的介绍 101 Ai 引言 101 A2 原子构造 101 A3 复合构造 102 A4 点 102 A5 谓词 103 A6 算符 104 A7 GB/T15936形式规范的谓词 106 A8 进一步举例 106

GB-T 15936.10-1996 信息处理文本和办公系统办公文件体系结构(ODA)和交换格式第10部分形式规范

文档预览

中文文档 112 页 50 下载 1000 浏览 0 评论 309 收藏 3.0分

赞助5.6元下载(无需注册)

温馨提示：本文档共112页，可预览 3 页，如浏览全部内容或当前文档出现乱码,可开通会员下载原始文档

GB-T 15936.10-1996 信息处理文本和办公系统办公文件体系结构(ODA)和交换格式第10部分形式规范第 1 页

GB-T 15936.10-1996 信息处理文本和办公系统办公文件体系结构(ODA)和交换格式第10部分形式规范第 2 页

GB-T 15936.10-1996 信息处理文本和办公系统办公文件体系结构(ODA)和交换格式第10部分形式规范第 3 页

下载文档到电脑，方便使用

赞助5.6元下载

本文档由人生无常于 2024-06-01 04:47:19上传分享

GB-T 15936.10-1996 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分 形式规范

GB-T 15936.10-1996 信息处理文本和办公系统办公文件体系结构(ODA)和交换格式第10部分形式规范