XDI comparison of Uninitialized Non-Receptive 1-Bit Variable and Non receptive one bit variable

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  1> (AND/IF_1.0
  2>   (NFA
  3>     (NAME Uninitialized Non-Receptive 1-Bit Variable)
  4>     (SYMBOLS 
  5>       (w0 INPUT) (w1 INPUT) (a OUTPUT) (r INPUT)
  6>       (v0 OUTPUT) (v1 OUTPUT)
  7>     )
  8>     (STATES
  9>       (0 INITIAL BOX)
 10>       (2 TRANSIENT)
 11>       (5 TRANSIENT)
 12>       (1 TRANSIENT)
 13>       (3 BOX)
 14>       (6 BOX)
 15>       (4 TRANSIENT)
 16>       (7 TRANSIENT)
 17>     )
 18>     (TRANSITIONS
 19>       (0 2 w0) (0 5 w1) (0 1 r)
 20>       (2 3 a)
 21>       (5 6 a)
 22>       (1 3 v0) (1 6 v1)
 23>       (3 2 w0) (3 5 w1) (3 4 r)
 24>       (6 2 w0) (6 5 w1) (6 7 r)
 25>       (4 3 v0)
 26>       (7 6 v1)
 27>     )
 28>   )
 29> )
-----------------------------------------------------------------------------

Uninitialized Non-Receptive 1-Bit Variable: warning: interpretation not given. Assuming 'Verhoeff/XDI'
Uninitialized Non-Receptive 1-Bit Variable: 1 warning, 0 errors.

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  2> (AND/IF_1.0
  3> (NFA 
  4>      (NAME  Non receptive one bit variable)
  5>      (INTERPRETATION Verhoeff/XDI)
  6>      (NOTE Generated by digg v1.0)
  7>      (SYMBOLS 
  8>               (w0 INPUT)
  9>               (w1 INPUT)
 10>               (r INPUT)
 11>               (v0 OUTPUT)
 12>               (v1 OUTPUT)
 13>               (a OUTPUT)
 14>      )
 15>      (STATES 
 16>         (0 BOX INITIAL)
 17>         (1 TRANSIENT)
 18>         (2 TRANSIENT)
 19>         (3 TRANSIENT)
 20>         (4 BOX)
 21>         (5 BOX)
 22>         (6 TRANSIENT)
 23>         (7 TRANSIENT)
 24>      )
 25>      (TRANSITIONS
 26>          (0 1 w0)
 27>          (0 2 w1)
 28>          (0 3 r)
 29>          (1 4 a)
 30>          (2 5 a)
 31>          (3 4 v0)
 32>          (3 5 v1)
 33>          (4 1 w0)
 34>          (4 2 w1)
 35>          (4 7 r)
 36>          (5 1 w0)
 37>          (5 2 w1)
 38>          (5 6 r)
 39>          (6 5 v1)
 40>          (7 4 v0)
 41>      )
 42> ))
-----------------------------------------------------------------------------

AND/IF_1.0
  (NFA
    (NAME Uninitialized Non-Receptive 1-Bit Variable)
    (SYMBOLS 
      (w0 INPUT) (w1 INPUT) (a OUTPUT) (r

Alphabets

'Uninitialized Non-Receptive 1-Bit Variable' and 'Non receptive one bit variable' have comparable alphabets

Joint Reachability

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

	0	1	2	3	4	5	6	7
0:	0	.	.	.	.	.	.	.
2:	.	1	.	.	.	.	.	.
5:	.	.	1	.	.	.	.	.
1:	.	.	.	1	.	.	.	.
3:	.	.	.	.	2	.	.	.
6:	.	.	.	.	.	2	.	.
4:	.	.	.	.	.	.	.	3
7:	.	.	.	.	.	.	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,	\ ,
(2,1):	1,	\ ,	w0
(5,2):	1,	\ ,	w1
(1,3):	1,	\ ,	r
(3,4):	2,	\ ,	w0 a
(6,5):	2,	\ ,	w1 a
(4,7):	3,	\ ,	w0 a r
(7,6):	3,	\ ,	w1 a r

Distribution of distances from initial pair

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

d:	h	[c]
0:	1	[1]
1:	3	[4]
2:	2	[6]
3:	2	[8]

Comparison

'Uninitialized Non-Receptive 1-Bit Variable' refines 'Non receptive one bit variable'.

Comparison Matrix:

	0	1	2	3	4	5	6	7
0:	.	0	0	0	2	2	0	0
2:	1	.	3	1	1	1	1	1
5:	1	3	.	1	1	1	1	1
1:	1	1	1	.	1	1	1	1
3:	.	0	0	0	.	2	0	0
6:	.	0	0	0	2	.	0	0
4:	1	1	1	.	1	1	1	.
7:	1	1	1	.	1	1	.	1

'Uninitialized Non-Receptive 1-Bit Variable' is refined by 'Non receptive one bit variable'.
Comparison Matrix:

	0	1	2	3	4	5	6	7
0:	.	1	1	1	.	.	1	1
2:	0	.	3	1	0	0	1	1
5:	0	3	.	1	0	0	1	1
1:	0	1	1	.	0	0	.	.
3:	2	1	1	1	.	2	1	1
6:	2	1	1	1	2	.	1	1
4:	0	1	1	1	0	0	1	.
7:	0	1	1	1	0	0	.	1