XDI analysis of Nonblocking-Mixer
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 Nonblocking-Mixer)
5> (INTERPRETATION Verhoeff/XDI)
6> (NOTE Generated by digg v1.0)
7> (SYMBOLS
8> (r0 INPUT)
9> (r1 INPUT)
10> (a INPUT)
11> (a0 OUTPUT)
12> (a1 OUTPUT)
13> (r OUTPUT)
14> )
15> (STATES
16> (0 BOX INITIAL)
17> (1 TRANSIENT)
18> (2 TRANSIENT)
19> (3 TRANSIENT)
20> (4 TRANSIENT)
21> (5 TRANSIENT)
22> (6 TRANSIENT)
23> (7 TRANSIENT)
24> (8 BOX)
25> (9 BOX)
26> (10 BOX)
27> (11 BOX)
28> (12 TRANSIENT)
29> (13 TRANSIENT)
30> (14 TRANSIENT)
31> (15 TRANSIENT)
32> (16 TRANSIENT)
33> (17 TRANSIENT)
34> (18 TRANSIENT)
35> (19 TRANSIENT)
36> (20 TRANSIENT)
37> (21 TRANSIENT)
38> (22 TRANSIENT)
39> (23 TRANSIENT)
40> (24 TRANSIENT)
41> (25 TRANSIENT)
42> (26 TRANSIENT)
43> (27 TRANSIENT)
44> )
45> (TRANSITIONS
46> (0 1 r0)
47> (0 2 r1)
48> (1 3 r1)
49> (1 4 a0)
50> (1 16 r)
51> (2 3 r0)
52> (2 4 a1)
53> (2 5 r)
54> (3 22 a0)
55> (3 25 a1)
56> (3 26 r)
57> (4 25 r0)
58> (4 22 r1)
59> (4 8 r)
60> (5 6 r0)
61> (5 7 a)
62> (5 8 a1)
63> (6 12 a)
64> (6 9 a1)
65> (7 12 r0)
66> (7 0 a1)
67> (8 9 r0)
68> (8 10 r1)
69> (8 0 a)
70> (9 11 r1)
71> (9 1 a)
72> (10 11 r0)
73> (10 2 a)
74> (11 3 a)
75> (12 13 a0)
76> (12 1 a1)
77> (12 14 r)
78> (13 24 r0)
79> (13 4 a1)
80> (13 5 r)
81> (14 15 a)
82> (14 5 a0)
83> (14 16 a1)
84> (15 7 a0)
85> (15 18 a1)
86> (16 17 r1)
87> (16 18 a)
88> (16 8 a0)
89> (17 19 a)
90> (17 10 a0)
91> (18 19 r1)
92> (18 0 a0)
93> (19 2 a0)
94> (19 20 a1)
95> (19 14 r)
96> (20 21 r1)
97> (20 4 a0)
98> (20 16 r)
99> (21 22 a0)
100> (21 17 r)
101> (22 23 r0)
102> (22 10 r)
103> (23 11 r)
104> (24 25 a1)
105> (24 6 r)
106> (25 23 r1)
107> (25 9 r)
108> (26 27 a)
109> (26 10 a0)
110> (26 9 a1)
111> (27 2 a0)
112> (27 1 a1)
113> (27 14 r)
114> )
115> ))
-----------------------------------------------------------------------------
-
- 6 symbols:
- 3 input and 3 output
- 28 states:
- 0 demanding, 5 indifferent and 23 transient
- 68 transitions:
- 28 input and 40 output
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity
-
| 0: | r0 | r1 | a | a0 | a1 | r |
|---|
| 0: | r1 | r0 | a | a1 | a0 | r |
|---|
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity
-
/ r0 a0 / r1 a1 / a r /
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity
- Maximally Transient
- No Disabling Inputs (Zinp)
- Disabling outputs (Zout) in state(s):
- 3 26
- Order-Independent input (Yinp)
- Order-Dependent output (Yout) in state(s):
- 1 2
- Output refusal sets do NOT propagate backward over inputs in state(s):
- 1 2
- Output Non-Deterministic
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity
- All states are reachable from the initial state:
[ + == 9 < distance < +inf , . == distance = +inf ]
| | | | | | | | | | | | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
|---|
| | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
|---|
| 0: | 0 | 1 | 1 | 2 | 2 | 2 | 3 | 3 | 3 | 4 | 4 | 5 | 4 | 5 | 5 | 6 | 2 | 3 | 3 | 4 | 5 | 6 | 3 | 4 | 6 | 3 | 3 | 4 |
|---|
Initial state reachable from all states.
All states reachable from all other states.
- Shortest paths from initial state:
-
| 0: | |
|---|
| 1: | r0 |
|---|
| 2: | r1 |
|---|
| 3: | r0 r1 |
|---|
| 4: | r0 a0 |
|---|
| 5: | r1 r |
|---|
| 6: | r1 r r0 |
|---|
| 7: | r1 r a |
|---|
| 8: | r0 a0 r |
|---|
| 9: | r0 r1 a1 r |
|---|
| 10: | r0 r1 a0 r |
|---|
| 11: | r0 r1 a0 r0 r |
|---|
| 12: | r1 r r0 a |
|---|
| 13: | r1 r r0 a a0 |
|---|
| 14: | r0 r1 r a r |
|---|
| 15: | r0 r1 r a r a |
|---|
| 16: | r0 r |
|---|
| 17: | r0 r r1 |
|---|
| 18: | r0 r a |
|---|
| 19: | r0 r r1 a |
|---|
| 20: | r0 r r1 a a1 |
|---|
| 21: | r0 r r1 a a1 r1 |
|---|
| 22: | r0 r1 a0 |
|---|
| 23: | r0 r1 a0 r0 |
|---|
| 24: | r1 r r0 a a0 r0 |
|---|
| 25: | r0 r1 a1 |
|---|
| 26: | r0 r1 r |
|---|
| 27: | r0 r1 r a |
|---|
- Distribution of distances from initial state:
[d=distance, h=occurrence count, c=cumulative occurrence count] -
| d: | h | [ c] |
|---|
| 0: | 1 | [ 1] |
|---|
| 1: | 2 | [ 3] |
|---|
| 2: | 4 | [ 7] |
|---|
| 3: | 8 | [15] |
|---|
| 4: | 6 | [21] |
|---|
| 5: | 4 | [25] |
|---|
| 6: | 3 | [28] |
|---|
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity
-
- There are 8 state pairs (x,y) where x refines y outside the diagonal:
- (6\/,26\/) (12\/,27\/) (13\/,2\/) (17\/,26\/) (19\/,27\/) (20\/,1\/) (21\/,3\/) (24\/,3\/)
Top | Statistics | Automorphisms | Finest Semi-independent Partition | Choice, Order Dependence, Nondeterminism | Distances | Autocomparison | XDI Validity
-
'Nonblocking-Mixer' 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