項書き換え系を用いた漢字字体の包摂規準の形式化の試み

Abstract

項書き換え系を用いた漢字の包摂規準の形式化手法を提案する. 漢字の包摂規準は本質的に木構造のパターンに対する書き換えとして記述されているため, 項書き換え系における書き換え規則として表現することは容易である. また, 完備化アルゴリズムを用いることで計算機にとってより扱いやすい形に変換することができる. しかしながら, 包摂除外をはじめとする包摂規準の例外や定義の不完全さ, 符号化された漢字レパートリの不斉一さといった問題を扱うためには文字単位の包摂関係と包摂規準に基づく部品間の包摂関係の双方でダブルチェック可能な手法が望ましい. そこで, 完備な包摂記述という概念をあわせて提案する.

We propose a formalization method of unification rules of Chinese characters based on term rewriting system. Since unification rules of Chinese characters are essentially described as rewriting for tree structures, it is easy to express as a set of rewrite rules in a term rewriting system. By using completion algorithms, the term rewriting system can be transformed into a more manageable form for the computer. However, in order to deal with problems of unification rules and coded character set such as exception of unification rules, incompleteness of definitions, asymmetry of unification coverage, it is desirable to use a double checkable method to compare unifiablity of characters and components based on unification rules. Therefore, we also propose a concept of description of complete subsumption.