文字コード変換による注目文字の出現および消失の有限状態オートマトンによる定式化

摘要

文字コード変換は文字列を変更することなく，符号化方式の切り替えに伴って，内部表現であるバイト列を別のバイト列に変換する処理である．文字コード変換では，変換前には存在しなかった文字が現れたり，逆に消失することがある．本稿では，文字コード変換にともなって発生する文字の出現と消失の現象を有限状態オートマトンを使って定式化する．また文字コード変換前の文字列を入力として，変換によってこの現象が起きるかどうかを事前に検査する方法を示す．さらに，オートマトンの作成時間と状態数に関して行った評価実験の結果を報告する．