方块苗文动态构造的计算机实现与形式化描述

本文是一篇深入研究的"方块苗文动态构造方法的形式化描述"，发表于2014年，由莫礼平和周恺卿两位作者合作完成，他们在国家自然科学基金项目(61363033)的支持下进行了这项工作。莫礼平是高级实验师，主要研究方向包括中文信息处理和Petri网，而周恺卿则是博士研究生，专注于Petri网和中文信息处理。 文章探讨的核心问题是如何在计算机系统中有效地生成和显示复杂的方块苗文字符，这是一种非拉丁字母的书写体系，对计算机编码和处理提出了独特的挑战。作者提出了一个创新的动态构造方法，这种方法强调了通过存储方块苗文的基本构件和独体字的显现字符来实现字符的动态构建。这种方法不依赖于传统的字符映射或字形库，而是通过上下组合、左右组合以及侧围组合等操作，灵活地生成各种方块苗文字形。 为了确保这种动态构造的精确性，作者定义了一系列操作符，并采用谓词规则的形式，对字符变换过程进行了形式化描述。这些规则清晰地规定了字符组合的逻辑和条件，使得计算机可以根据预设的规则生成和修改方块苗文字符，从而简化了字库管理和自动生成合体字的过程。 本文的关键词包括方块苗文、信息处理技术、形式化方法、上下文无关文法和谓词规则，反映出作者的研究关注点在于将复杂的信息处理问题转化为可计算的规则和结构，以便于计算机理解和执行。中图分类号 TP391.1 表明了本文属于计算机科学技术领域中的文本处理与信息检索研究。 这篇文章对于推动方块苗文在数字化环境中的应用具有重要意义，不仅提供了一种实用的技术手段，还为其他非拉丁语系文字的计算机处理提供了一种新的理论基础。