XDI comparison of OR-element and OR Element (dial)

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:
-----------------------------------------------------------------------------
  2> (AND/IF_1.0
  3> (NFA 
  4>      (NAME OR Element (dial))
  5>      (INTERPRETATION Verhoeff/XDI)
  6>      (NOTE Generated by digg v1.0)
  7>      (SYMBOLS 
  8>               (a0 INPUT)
  9>               (b1 INPUT)
 10>               (c1 INPUT)
 11>               (a1 OUTPUT)
 12>               (b0 OUTPUT)
 13>               (c0 OUTPUT)
 14>      )
 15>      (STATES 
 16>         (0 BOX INITIAL)
 17>         (1 TRANSIENT)
 18>         (2 BOX)
 19>         (3 BOX)
 20>         (4 TRANSIENT)
 21>      )
 22>      (TRANSITIONS
 23>          (0 1 a0)
 24>          (1 2 b0)
 25>          (1 3 c0)
 26>          (2 4 b1)
 27>          (3 4 c1)
 28>          (4 0 a1)
 29>      )
 30> ))
-----------------------------------------------------------------------------

AND/IF_1.0
  (NFA
    (NAME OR-element)
    (INTERPRETATION Verhoeff/XDI)
    (SYMBOLS 
      (a0 INPUT)
      (b1 INPUT)
     

Alphabets

'OR-element' and 'OR Element (dial)' 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 Element (dial)'.

Comparison Matrix:

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

'OR-element' is refined by 'OR Element (dial)'.
Comparison Matrix:

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