XDI analysis of FirstRest Discriminator
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 FirstRest Discriminator)
4> (SYMBOLS
5> (a INPUT) (b OUTPUT) (c OUTPUT)
6> )
7>
8> (STATES
9> (0 INITIAL BOX)
10> (1 TRANSIENT)
11> (2 BOX)
12> (3 TRANSIENT)
13> )
14> (TRANSITIONS
15> (0 1 a)
16> (1 2 b)
17> (2 3 a)
18> (3 2 c)
19> )
20> )
21> )

FirstRest Discriminator: warning: interpretation not given. Assuming 'Verhoeff/XDI'
FirstRest Discriminator: 1 warning, 0 errors.

 3 symbols:
 1 input and 2 output
 4 states:
 0 demanding, 2 indifferent and 2 transient
 4 transitions:
 2 input and 2 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 b c /
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 3 states: 1 2 3
There are 5 state pairs 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] 
d:  h  [c] 
0:  1  [1] 
1:  1  [2] 
2:  1  [3] 
3:  1  [4] 
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

'FirstRest Discriminator' 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