正規木表現の代数構造について

抄録

木構造のための正規表現の代数的な構造について考察する。Kozen は、文字列上の正規表現の代数構造である、クリーニ代数を発見し、その完全性を示した。一方、木構造データの正規表現に対応する正規木表現については、その代数構造は明らかになっていない。本発表では、正規木表現の持つ代数的構造の一部についてのべ、正規木言語に対する包含関係の決定問題への応用について考察する。