Hedge automata: a formal model for XML schemata生け垣オートマトン: XML スキーマの形式的モデル MURATA Makoto (村田真) (試訳・TAKAHASHI Masayoshi (maki@inac.co.jp) ただし、翻訳の質については、何の保証もありません。 あしからず(_o_)) はじめに これは 生け垣オートマトン理論のための予備知識について書いたものです。 XMLコミュニティでは、最近、この理論がXML スキーマのシンプルかつ パワフルなモデルであると思われるようになってきました。 とりわけ、RELAX(REgular LAnguage for XML)の設計では、 この理論が直接の土台となっています。 生け垣 まず、生け垣(hedge)について説明します。 おおざっぱには、生け垣は木(tree)の並び(sequence)です。 XML用語では、生け垣は文字データ(または文字データの型)を 挟むことのある、要素(
