XDI comparison of PAR Element (DIAL) and PAR-Element

Top | Alphabets | Joint Reachability | Comparison

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  2> (AND/IF_1.0
  3> (NFA 
  4>      (NAME PAR Element (DIAL))
  5>      (INTERPRETATION Verhoeff/XDI)
  6>      (NOTE Generated by digg v1.0)
  7>      (SYMBOLS 
  8>               (ar INPUT)
  9>               (ba INPUT)
 10>               (ca INPUT)
 11>               (aa OUTPUT)
 12>               (br OUTPUT)
 13>               (cr OUTPUT)
 14>      )
 15>      (STATES 
 16>         (0 BOX INITIAL)
 17>         (1 TRANSIENT)
 18>         (2 TRANSIENT)
 19>         (3 TRANSIENT)
 20>         (4 TRANSIENT)
 21>         (5 BOX)
 22>         (6 BOX)
 23>         (7 BOX)
 24>         (8 TRANSIENT)
 25>         (9 TRANSIENT)
 26>      )
 27>      (TRANSITIONS
 28>          (0 1 ar)
 29>          (1 2 br)
 30>          (1 3 cr)
 31>          (2 9 ba)
 32>          (2 5 cr)
 33>          (3 4 ca)
 34>          (3 5 br)
 35>          (4 7 br)
 36>          (5 6 ba)
 37>          (5 7 ca)
 38>          (6 8 ca)
 39>          (7 8 ba)
 40>          (8 0 aa)
 41>          (9 6 cr)
 42>      )
 43> ))
-----------------------------------------------------------------------------

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> )
-----------------------------------------------------------------------------

(AND/IF_1.0 
(NFA 
     (NAME PAR Element (DIAL))
     (INTERPRETATION Verhoeff/XDI)
     (NOTE Generated by digg v1.0)
     (SPAR-Element: warning: interpretation not given. Assuming 'Verhoeff/XDI'
PAR-Element: 1 warning, 0 errors.


Alphabets

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

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 Element (DIAL)' refines 'PAR-Element'.
Comparison Matrix:
0123456789
0:.000010110
1:1.11111111
2:11.1211111
3:111.112111
4:111111.111
5:10000.0110
6:1000010.10
7:10000101.0
8:111111111.
9:1111.11111

'PAR Element (DIAL)' is refined by 'PAR-Element'.
Comparison Matrix:
0123456789
0:.111111111
1:0.11101001
2:01.1101001
3:011.101001
4:011210.001
5:11111.1111
6:1111111.11
7:11111111.1
8:011110100.
9:0121.01001
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