论文部分内容阅读
ISO2022编码体系对字符集国家标准的制订有很大影响，然而标准条款存在不确定性，有时难于理解。本文引入有限状态机（FSM）模型来形式化地刻画ISO2022的特征。针对FSM五元组，详细说明了其状态空间的构成，提出了输入字母表的等效分类方法，给出了初始状态以及终结状态集合，分析了状态转移函数的规模。并采用FSM描述方法分析了IS0-2022-CN、EUC-CN、复合文本等标准，揭示了这些标准与ISO2022的内在联系。这些工作有助于ISO2022标准符合性检测、扩展标准的制订与系统实现复杂度评估。鉴于形式