XDI comparison of Non-receptive Test-and-Set [dial] and COMP

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  2> (AND/IF_1.0
  3> (NFA 
  4>      (NAME Non-receptive Test-and-Set [dial])
  5>      (INTERPRETATION Verhoeff/XDI)
  6>      (NOTE Generated by digg v1.0)
  7>      (SYMBOLS 
  8>               (r INPUT)
  9>               (t INPUT)
 10>               (a OUTPUT)
 11>               (t0 OUTPUT)
 12>               (t1 OUTPUT)
 13>      )
 14>      (STATES 
 15>         (0 BOX INITIAL)
 16>         (1 TRANSIENT)
 17>         (2 TRANSIENT)
 18>         (3 BOX)
 19>         (4 TRANSIENT)
 20>      )
 21>      (TRANSITIONS
 22>          (0 1 r)
 23>          (0 2 t)
 24>          (1 3 a)
 25>          (2 0 t1)
 26>          (3 4 t)
 27>          (4 0 t0)
 28>      )
 29> ))
-----------------------------------------------------------------------------

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  1> (AND/IF_1.0
  2> ( NFA 
  3>    ( NAME COMP)
  4>    ( NOTE )
  5>    ( INTERPRETATION XXX)
  6>      (SYMBOLS
  7>        (t1 OUTPUT)
  8>        (t0 OUTPUT)
  9>        (a OUTPUT)
 10>        (r INPUT)
 11>        (t INPUT)
 12>       )
 13>      (STATES
 14>         (2 TRANSIENT) 
 15>         (3 BOX) 
 16>         (4 TRANSIENT) 
 17>         (5 TRANSIENT) 
 18>         (6 BOX INITIAL) 
 19>      )
 20>      (TRANSITIONS 
 21>         (2 6 t1)
 22>         (3 4 t)
 23>         (4 6 t0)
 24>         (5 3 a)
 25>         (6 5 r)
 26>         (6 2 t)
 27>     )))
-----------------------------------------------------------------------------

(AND/IF_1.0 
(NFA 
     (NAME Non-receptive Test-and-Set [dial])
     (INTERPRETATION Verhoeff/XDI)
     (NOTE Generated by digCOMP: warning: unknown interpretation 'XXX' ignored. Assuming 'Verhoeff/XDI'
COMP: 1 warning, 0 errors.

Alphabets

'Non-receptive Test-and-Set [dial]' and 'COMP' have comparable alphabets

Joint Reachability

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

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

Distribution of distances from initial pair

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

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

Comparison

'Non-receptive Test-and-Set [dial]' refines 'COMP'.

Comparison Matrix:

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

'Non-receptive Test-and-Set [dial]' is refined by 'COMP'.
Comparison Matrix:

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