XDI comparison of OR-element and OR

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  1> (AND/IF_1.0
  2>   (NFA
  3>     (NAME OR-element)
  4>     (INTERPRETATION Verhoeff/XDI)
  5>     (SYMBOLS 
  6>       (a0 INPUT)
  7>       (b1 INPUT)
  8>       (c1 INPUT)
  9>       (a1 OUTPUT)
 10>       (b0 OUTPUT)
 11>       (c0 OUTPUT)
 12>     )
 13>     (STATES
 14>       (0 INITIAL BOX)
 15>       (1 TRANSIENT)
 16>       (2 BOX)
 17>       (3 BOX)
 18>       (4 TRANSIENT)
 19>     )
 20>     (TRANSITIONS
 21>       (0 1 a0)
 22>       (1 2 b0)
 23>       (1 3 c0)
 24>       (2 4 b1)
 25>       (3 4 c1)
 26>       (4 0 a1)
 27>     )
 28>   )
 29> )
-----------------------------------------------------------------------------

Processing AND/IF input stream:
-----------------------------------------------------------------------------
 11> (AND/IF_1.0
 12>   (NFA
 13>     (NOTE Generated by Verdect 2.3A)
 14>     (INTERPRETATION Ebergen/VERDECT)
 15>     (NAME OR)
 16>     (SYMBOLS
 17>       (a0 INPUT)
 18>       (a1 OUTPUT)
 19>       (b0 OUTPUT)
 20>       (b1 INPUT)
 21>       (c0 OUTPUT)
 22>       (c1 INPUT)
 23>     )
 24>     (STATES
 25>       (0 INITIAL)
*** Line 25: XDI Warning: definition of state '0' has no (valid) progress properties. Assuming 'box' property
 26>       (1)
*** Line 26: XDI Warning: definition of state '1' has no (valid) progress properties. Assuming 'box' property
 27>       (2)
*** Line 27: XDI Warning: definition of state '2' has no (valid) progress properties. Assuming 'box' property
 28>       (3)
*** Line 28: XDI Warning: definition of state '3' has no (valid) progress properties. Assuming 'box' property
 29>       (4)
*** Line 29: XDI Warning: definition of state '4' has no (valid) progress properties. Assuming 'box' property
 30>     )
 31>     (TRANSITIONS
 32>       (0 1 a0)
 33>       (1 2 b0) (1 3 c0)
 34>       (2 4 b1)
 35>       (3 4 c1)
 36>       (4 0 a1)
 37>     )
 38>   )
 39> )
-----------------------------------------------------------------------------

AND/IF_1.0
  (NFA
    (NAME OR-element)
    (INTERPRETATION Verhoeff/XDI)
    (SYMBOLS 
      (a0 INPUT)
      (b1 INPUT)
     OR: warning: unknown interpretation 'Ebergen/VERDECT' ignored. Assuming 'Verhoeff/XDI'
OR: 1 warning, 0 errors.

Alphabets

'OR-element' and 'OR' have comparable alphabets

Joint Reachability

# reachable state pairs = 5
[ + == 9 < distance < +inf , . == distance = +inf ]

	0	1	2	3	4
0:	0	.	.	.	.
1:	.	1	.	.	.
2:	.	.	2	.	.
3:	.	.	.	2	.
4:	.	.	.	.	3

Shortest distances and paths from initial pair

[(s,t)=state pair, d=distance, X\Y=not indiv. min., path=shortest path]

(s,t):	d,	X\Y,	path
(0,0):	0,	\ ,
(1,1):	1,	\ ,	a0
(2,2):	2,	\ ,	a0 b0
(3,3):	2,	\ ,	a0 c0
(4,4):	3,	\ ,	a0 b0 b1

Distribution of distances from initial pair

[d=distance, h=occurrence count, c=cumulative occurrence count]

d:	h	[c]
0:	1	[1]
1:	1	[2]
2:	2	[4]
3:	1	[5]

Comparison

'OR-element' refines 'OR'.

Comparison Matrix:

	0	1	2	3	4
0:	.	.	1	1	.
1:	1	.	1	1	1
2:	1	.	.	1	.
3:	1	.	1	.	.
4:	1	1	1	1	.

'OR-element' is NOT refined by 'OR':

(1[],1\/)
(4[],4\/)

Comparison Matrix:

	0	1	2	3	4
0:	1	1	1	1	1
1:	0	0	0	0	0
2:	1	1	1	1	1
3:	1	1	1	1	1
4:	0	0	0	0	0