XDI analysis of DC

Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity

Processing AND/IF input stream:
-----------------------------------------------------------------------------
  2> (AND/IF_1.0
  3> (NFA 
  4>      (NAME DC)
  5>      (INTERPRETATION Verhoeff/XDI)
  6>      (NOTE Generated by digg v1.0)
  7>      (SYMBOLS 
  8>               (a0 INPUT)
  9>               (b0 INPUT)
 10>               (a1 INPUT)
 11>               (b1 INPUT)
 12>               (a2 INPUT)
 13>               (b2 INPUT)
 14>               (c OUTPUT)
 15>               (d00 OUTPUT)
 16>               (d10 OUTPUT)
 17>               (d01 OUTPUT)
 18>               (d20 OUTPUT)
 19>               (d11 OUTPUT)
 20>               (d02 OUTPUT)
 21>               (d21 OUTPUT)
 22>               (d12 OUTPUT)
 23>               (d22 OUTPUT)
 24>      )
 25>      (STATES 
 26>         (0 BOX INITIAL)
 27>         (1 TRANSIENT)
 28>         (2 BOX)
 29>         (3 TRANSIENT)
 30>         (4 BOX)
 31>         (5 TRANSIENT)
 32>         (6 BOX)
 33>         (7 TRANSIENT)
 34>         (8 TRANSIENT)
 35>         (9 TRANSIENT)
 36>         (10 TRANSIENT)
 37>         (11 TRANSIENT)
 38>         (12 TRANSIENT)
 39>         (13 TRANSIENT)
 40>         (14 TRANSIENT)
 41>         (15 TRANSIENT)
 42>         (16 TRANSIENT)
 43>         (17 BOX)
 44>         (18 TRANSIENT)
 45>         (19 TRANSIENT)
 46>         (20 TRANSIENT)
 47>         (21 TRANSIENT)
 48>         (22 TRANSIENT)
 49>         (23 TRANSIENT)
 50>         (24 TRANSIENT)
 51>         (25 BOX)
 52>         (26 TRANSIENT)
 53>         (27 TRANSIENT)
 54>         (28 TRANSIENT)
 55>         (29 TRANSIENT)
 56>         (30 BOX)
 57>         (31 TRANSIENT)
 58>      )
 59>      (TRANSITIONS
 60>          (0 1 a0)
 61>          (0 2 b0)
 62>          (0 3 a1)
 63>          (0 4 b1)
 64>          (0 5 a2)
 65>          (0 6 b2)
 66>          (1 28 b0)
 67>          (1 20 b1)
 68>          (1 7 b2)
 69>          (1 30 c)
 70>          (2 28 a0)
 71>          (2 24 a1)
 72>          (2 15 a2)
 73>          (3 24 b0)
 74>          (3 21 b1)
 75>          (3 8 b2)
 76>          (3 25 c)
 77>          (4 20 a0)
 78>          (4 21 a1)
 79>          (4 16 a2)
 80>          (5 15 b0)
 81>          (5 16 b1)
 82>          (5 9 b2)
 83>          (5 17 c)
 84>          (6 7 a0)
 85>          (6 8 a1)
 86>          (6 9 a2)
 87>          (7 31 c)
 88>          (7 11 d02)
 89>          (8 27 c)
 90>          (8 11 d12)
 91>          (9 10 c)
 92>          (9 11 d22)
 93>          (10 0 d22)
 94>          (11 12 b0)
 95>          (11 13 b1)
 96>          (11 14 b2)
 97>          (11 0 c)
 98>          (12 2 c)
 99>          (13 4 c)
100>          (14 6 c)
101>          (15 18 c)
102>          (15 11 d20)
103>          (16 19 c)
104>          (16 11 d21)
105>          (17 18 b0)
106>          (17 19 b1)
107>          (17 10 b2)
108>          (18 0 d20)
109>          (19 0 d21)
110>          (20 23 c)
111>          (20 11 d01)
112>          (21 22 c)
113>          (21 11 d11)
114>          (22 0 d11)
115>          (23 0 d01)
116>          (24 26 c)
117>          (24 11 d10)
118>          (25 26 b0)
119>          (25 22 b1)
120>          (25 27 b2)
121>          (26 0 d10)
122>          (27 0 d12)
123>          (28 29 c)
124>          (28 11 d00)
125>          (29 0 d00)
126>          (30 29 b0)
127>          (30 23 b1)
128>          (30 31 b2)
129>          (31 0 d02)
130>      )
131> ))
-----------------------------------------------------------------------------


Statistics

16 symbols:
6 input and 10 output
32 states:
0 demanding, 7 indifferent and 25 transient
70 transitions:
36 input and 34 output
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


Automorphisms (symmetries)

 0:a0b0a1b1a2b2cd00d10d01d20d11d02d21d12d22
 0:a0b0a1b2a2b1cd00d10d02d20d12d01d22d11d21
 0:a0b0a2b1a1b2cd00d20d01d10d21d02d11d22d12
 0:a0b0a2b2a1b1cd00d20d02d10d22d01d12d21d11
 0:a0b1a1b0a2b2cd01d11d00d21d10d02d20d12d22
 0:a0b1a1b2a2b0cd01d11d02d21d12d00d22d10d20
 0:a0b1a2b0a1b2cd01d21d00d11d20d02d10d22d12
 0:a0b1a2b2a1b0cd01d21d02d11d22d00d12d20d10
 0:a0b2a1b0a2b1cd02d12d00d22d10d01d20d11d21
 0:a0b2a1b1a2b0cd02d12d01d22d11d00d21d10d20
 0:a0b2a2b0a1b1cd02d22d00d12d20d01d10d21d11
 0:a0b2a2b1a1b0cd02d22d01d12d21d00d11d20d10
 0:a1b0a0b1a2b2cd10d00d11d20d01d12d21d02d22
 0:a1b0a0b2a2b1cd10d00d12d20d02d11d22d01d21
 0:a1b0a2b1a0b2cd10d20d11d00d21d12d01d22d02
 0:a1b0a2b2a0b1cd10d20d12d00d22d11d02d21d01
 0:a1b1a0b0a2b2cd11d01d10d21d00d12d20d02d22
 0:a1b1a0b2a2b0cd11d01d12d21d02d10d22d00d20
 0:a1b1a2b0a0b2cd11d21d10d01d20d12d00d22d02
 0:a1b1a2b2a0b0cd11d21d12d01d22d10d02d20d00
 0:a1b2a0b0a2b1cd12d02d10d22d00d11d20d01d21
 0:a1b2a0b1a2b0cd12d02d11d22d01d10d21d00d20
 0:a1b2a2b0a0b1cd12d22d10d02d20d11d00d21d01
 0:a1b2a2b1a0b0cd12d22d11d02d21d10d01d20d00
 0:a2b0a0b1a1b2cd20d00d21d10d01d22d11d02d12
 0:a2b0a0b2a1b1cd20d00d22d10d02d21d12d01d11
 0:a2b0a1b1a0b2cd20d10d21d00d11d22d01d12d02
 0:a2b0a1b2a0b1cd20d10d22d00d12d21d02d11d01
 0:a2b1a0b0a1b2cd21d01d20d11d00d22d10d02d12
 0:a2b1a0b2a1b0cd21d01d22d11d02d20d12d00d10
 0:a2b1a1b0a0b2cd21d11d20d01d10d22d00d12d02
 0:a2b1a1b2a0b0cd21d11d22d01d12d20d02d10d00
 0:a2b2a0b0a1b1cd22d02d20d12d00d21d10d01d11
 0:a2b2a0b1a1b0cd22d02d21d12d01d20d11d00d10
 0:a2b2a1b0a0b1cd22d12d20d02d10d21d00d11d01
 0:a2b2a1b1a0b0cd22d12d21d02d11d20d01d10d00
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


Finest Semi-independent Partition

/ a0 b0 a1 b1 a2 b2 c d00 d10 d01 d20 d11 d02 d21 d12 d22 /
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


Choice, Order Dependence, Nondeterminism

Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


Distances

All states are reachable from the initial state:
[ + == 9 < distance < +inf , . == distance = +inf ]
             1111111111222222222233
   01234567890123456789012345678901
 0:01111112223344422233223322332323

Initial state reachable from all states.
All states reachable from all other states.

Shortest paths from initial state:
 0:
 1:a0 
 2:b0 
 3:a1 
 4:b1 
 5:a2 
 6:b2 
 7:a0 b2 
 8:a1 b2 
 9:a2 b2 
10:a2 b2 c 
11:a0 b0 d00 
12:a0 b0 d00 b0 
13:a0 b0 d00 b1 
14:a0 b0 d00 b2 
15:b0 a2 
16:b1 a2 
17:a2 c 
18:b0 a2 c 
19:b1 a2 c 
20:a0 b1 
21:a1 b1 
22:a1 b1 c 
23:a0 b1 c 
24:b0 a1 
25:a1 c 
26:b0 a1 c 
27:a1 b2 c 
28:a0 b0 
29:a0 b0 c 
30:a0 c 
31:a0 b2 c 

Distribution of distances from initial state:
[d=distance, h=occurrence count, c=cumulative occurrence count]
d: h[ c]
0: 11]
1: 67]
2:12[19]
3:10[29]
4: 3[32]
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


Autocomparison Matrix

There are no state pairs (x,y) where x refines y outside the diagonal.

Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


XDI Validity

'DC' is a valid XDI specification.

Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity


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