XDI comparison of PAR and PAR-Element

Top | Alphabets | Joint Reachability | Comparison

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
Top | Alphabets | Joint Reachability | Comparison


Joint Reachability

# reachable state pairs = 10
[ + == 9 < distance < +inf , . == distance = +inf ]
0123456789
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:11]
1:12]
2:24]
3:37]
4:29]
5:1[10]
Top | Alphabets | Joint Reachability | Comparison


Comparison

'PAR' does NOT refine 'PAR-Element':
(1[],1\/)
(2[],2\/)
(3[],3\/)
(4[],4\/)
(6[],6\/)
(9[],9\/)
Comparison Matrix:
0123456789
0:1000010110
1:1000010110
2:1000010110
3:1000010110
4:1000010110
5:1000020110
6:1000010110
7:1000010110
8:1000010110
9:1000010110

'PAR' is refined by 'PAR-Element'.
Comparison Matrix:
0123456789
0:.111111111
1:....3.3..1
2:11.11.1121
3:111.1.1211
4:.1.1..1..1
5:11111.1111
6:.11.1....1
7:11111.1.11
8:11111.11.1
9:.1111.1...
Top | Alphabets | Joint Reachability | Comparison


XDI State Graph Tool, Version 2.1.1 (Jun 26 1998 10:51:42)
Copyright © 1995-1997 Eindhoven University of Technology