interleave の意味と処理

                                                            20050721 -KM-

1) RELAX NG の仕様に出ている例を読み解くと

(interleaves 1)
   ( ) interleaves ( ); ( ) 
 
(interleaves 2)
     m1 interleaves m2; m3 
-------------------------------
 m4, m1 interleaves m4, m2; m3 
 
(interleaves 3)
     m1 interleaves m2; m3 
-------------------------------
 m4, m1 interleaves m2; m4, m3 

「例えば， <a/><a/>と <b/> のインタリーブは <a/><a/><b/>，
<a/><b/><a/> 及び <b/><a/><a/> である。」の証明

(a) m1=(), m2=(), m3=(), m4=<A/> とすると
(interleave 1) より <A/> interleaves <A/>; ()
(interleave 2) より <A/> interleaves (); <A/>

(a-1a) m1=<A/>, m2=(), m3=<A/>, m4=<A/> とすると
(interleave 1) より <A/><A/> interleaves <A/><A/>; ()
(interleave 2) より <A/><A/> interleaves <A/>; <A/>

(a-1a-1b) m1=<A/><A/>, m2=(), m3=<A/><A/>, m4=<B/> とすると
(interleave 1) より <B/><A/><A/> interleaves <B/><A/><A/>; ()
(interleave 2) より <B/><A/><A/> interleaves <A/><A/>; <B/> <== (*)

(a-1a) m1=<A/>, m2=(), m3=<A/>, m4=<B/> とすると
(interleave 1) より <B/><A/> interleaves <B/><A/>; ()
(interleave 2) より <B/><A/> interleaves <A/>; <B/>

(a-1a) m1=<B/><A/>, m2=<A/>, m3=<B/>, m4=<A/> とすると
(interleave 1) より <A/><B/><A/> interleaves <A/><A/>; <B/> <== (*)
(interleave 2) より <A/><B/><A/> interleaves <A/>; <A/><B/>

(b) m1=(), m2=(), m3=(), m4=<B/> とすると
(interleave 1) より <B/> interleaves <B/>; ()
(interleave 2) より <B/> interleaves (); <B/>

(b-1a) m1=<B/>, m2=<B/>, m3=(), m4=<A/> とすると
(interleave 1) より <A/><B/> interleaves <A/><B/>; ()
(interleave 2) より <A/><B/> interleaves <A/>; <B/>

(b-1a-2a) m1=<A/><B/>, m2=<A/>, m3=<B/>, m4=<A/> とすると
(interleave 1) より <A/><A/><B/> interleaves <A/><A/>; <B/> <== (*)
(interleave 2) より <A/><A/><B/> interleaves <A/>; <A/><B/>

2) mappingSchema では、何が "列" なだろう？
bit, byte, element が対等な関係が良い。

3) パターン

<interleave>
  <group>
    <element name="a"><text/></element>
    <element name="b"><text/></element>
  </group>
  <element name="c"><text/></element>
</interleave>
は、<a/><c/><b/> にマッチするので注意が必要。

4) パターン

<interleave>
  <element name="a"><text/></element>
  <element name="b"><text/></element>
</interleave>

が、<a><b/><a/> や <b><a/></b> にマッチしたりすることはありません。

5) interleave の処理で意味を持つのは、
 (a) interleave の子 (その数だけ interelave 器を作る)
 (b) interleave の子からみて、自分自身を含む直近のコンテナ

例えば、
 interleave - bit(a,b)
 interleave - oneOrMore(a) - bit(b)
です。