ASN.1编码与解码过程的形式化描述

摘要

本文从实际应用出发，首先简要介绍了ＡＳＮ．１及其编码，解码与计算机形式语言的一些概念，并提出了“条件规范归纳”的概念，然后对ＡＳＮ．１的编码与解码过程作了详细论述，并结合实例对此过程进行形式化描述，为ＡＳＮ．１编码与解码工具软件的开发提供了理论依据。