XDI comparison of PAR and PAR-Element

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 PAR)
 16>     (SYMBOLS
 17>       (ar INPUT)
 18>       (aa OUTPUT)
 19>       (br OUTPUT)
 20>       (ba INPUT)
 21>       (cr OUTPUT)
 22>       (ca 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>       (5)
*** Line 30: XDI Warning: definition of state '5' has no (valid) progress properties. Assuming 'box' property
 31>       (6)
*** Line 31: XDI Warning: definition of state '6' has no (valid) progress properties. Assuming 'box' property
 32>       (7)
*** Line 32: XDI Warning: definition of state '7' has no (valid) progress properties. Assuming 'box' property
 33>       (8)
*** Line 33: XDI Warning: definition of state '8' has no (valid) progress properties. Assuming 'box' property
 34>       (9)
*** Line 34: XDI Warning: definition of state '9' has no (valid) progress properties. Assuming 'box' property
 35>     )
 36>     (TRANSITIONS
 37>       (0 1 ar)
 38>       (1 2 br) (1 3 cr)
 39>       (2 4 ba) (2 5 cr)
 40>       (3 5 br) (3 6 ca)
 41>       (4 7 cr)
 42>       (5 7 ba) (5 8 ca)
 43>       (6 8 br)
 44>       (7 9 ca)
 45>       (8 9 ba)
 46>       (9 0 aa)
 47>     )
 48>   )
 49> )
-----------------------------------------------------------------------------

PAR: warning: unknown interpretation 'Ebergen/VERDECT' ignored. Assuming 'Verhoeff/XDI'
PAR: 1 warning, 0 errors.

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  1> (AND/IF_1.0
  2>   (NFA
  3>     (NAME PAR-Element)
  4>     (SYMBOLS 
  5>       (ar INPUT) (aa OUTPUT) (br OUTPUT) (ba INPUT)
  6>       (cr OUTPUT) (ca INPUT)
  7>     )
  8> 
  9>     (STATES
 10>       (0 INITIAL BOX)
 11>       (1 TRANSIENT)
 12>       (2 TRANSIENT)
 13>       (3 TRANSIENT)
 14>       (4 TRANSIENT)
 15>       (5 BOX)
 16>       (6 TRANSIENT)
 17>       (7 BOX)
 18>       (8 BOX)
 19>       (9 TRANSIENT)
 20>     )
 21>     (TRANSITIONS
 22>       (0 1 ar)
 23>       (1 2 br) (1 3 cr)
 24>       (2 4 ba) (2 5 cr)
 25>       (3 5 br) (3 6 ca)
 26>       (4 7 cr)
 27>       (5 7 ba) (5 8 ca)
 28>       (6 8 br)
 29>       (7 9 ca)
 30>       (8 9 ba)
 31>       (9 0 aa)
 32>     )
 33>   )
 34> )
-----------------------------------------------------------------------------

ERDECT version 2.3A
  Credits: Robert Berks, Rok Yu, Ian Goldberg, Sylvain Gingras.
  AND/IF export by Tom Verhoeff.
  Based onPAR-Element: warning: interpretation not given. Assuming 'Verhoeff/XDI'
PAR-Element: 1 warning, 0 errors.

Alphabets

'PAR' and 'PAR-Element' have comparable alphabets

Joint Reachability

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

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

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,	\ ,	ar
(2,2):	2,	\ ,	ar br
(3,3):	2,	\ ,	ar cr
(4,4):	3,	\ ,	ar br ba
(5,5):	3,	\ ,	ar br cr
(6,6):	3,	\ ,	ar cr ca
(7,7):	4,	\ ,	ar br ba cr
(8,8):	4,	\ ,	ar br cr ca
(9,9):	5,	\ ,	ar br ba cr ca

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:	3	[ 7]
4:	2	[ 9]
5:	1	[10]

Comparison

'PAR' does NOT refine 'PAR-Element':

(1[],1\/)
(2[],2\/)
(3[],3\/)
(4[],4\/)
(6[],6\/)
(9[],9\/)

Comparison Matrix:

	0	1	2	3	4	5	6	7	8	9
0:	1	0	0	0	0	1	0	1	1	0
1:	1	0	0	0	0	1	0	1	1	0
2:	1	0	0	0	0	1	0	1	1	0
3:	1	0	0	0	0	1	0	1	1	0
4:	1	0	0	0	0	1	0	1	1	0
5:	1	0	0	0	0	2	0	1	1	0
6:	1	0	0	0	0	1	0	1	1	0
7:	1	0	0	0	0	1	0	1	1	0
8:	1	0	0	0	0	1	0	1	1	0
9:	1	0	0	0	0	1	0	1	1	0

'PAR' is refined by 'PAR-Element'.
Comparison Matrix:

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