XDI analysis of 1Source
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity
Processing AND/IF input stream:

1> (AND/IF_1.0
2> (NFA
3> (NAME 1Source)
4> (INTERPRETATION Verhoeff/XDI)
5> (SYMBOLS
6> (a OUTPUT)
7> )
8> (STATES
9> (0 INITIAL TRANSIENT)
10> (1 BOX)
11> )
12> (TRANSITIONS
13> (0 1 a)
14> )
15> )
16> )


 1 symbol:
 0 input and 1 output
 2 states:
 0 demanding, 1 indifferent and 1 transient
 1 transition:
 0 input and 1 output
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity

There is 1 automorphism.
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity

/ a /
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity
 Maximally Transient
 No Disabling Inputs (Z^{inp})
 No Disabling Outputs (Z^{out})
 OrderIndependent input (Y^{inp})
 OrderIndependent output (Y^{out})
 Output refusal sets propate backward over inputs
 Output Deterministic
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity
 All states are reachable from the initial state:
[ + == 9 < distance < +inf , . == distance = +inf ]
Initial state not reachable from 1 state: 1
There is 1 state pair where one state is unreachable from the other state.
 Shortest paths from initial state:

 Distribution of distances from initial state:
[d=distance, h=occurrence count, c=cumulative occurrence count] 
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity

There are no state pairs (x,y) where x refines y outside the diagonal.
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity

'1Source' is a valid XDI specification.
Top  Statistics  Automorphisms  Finest Semiindependent Partition  Choice, Order Dependence, Nondeterminism  Distances  Autocomparison  XDI Validity
XDI State Graph Tool, Version 2.0 (Feb 17 1998 20:34:43)
Copyright © 19951997 Eindhoven University of Technology