XDI State Graph Tool, Version 2.02 (Oct 28 1997 10:01:45) Copyright (c) 1995-1997 Processing AND/IF input stream: ----------------------------------------------------------------------------- 1> (AND/IF_1.0 2> % This spec has two initial states 3> (NFA 4> (NAME Wire with two initial states) 5> (INTERPRETATION Verhoeff/XDI) 6> (SYMBOLS 7> (a INPUT) (b OUTPUT) 8> ) 9> (STATES 10> (0 BOX INITIAL) 11> (1 TRANSIENT INITIAL) 12> ) 13> (TRANSITIONS 14> (0 1 a) 15> (1 0 b) 16> ) 17> ) 18> ) ----------------------------------------------------------------------------- Wire with two initial states: warning: state '1' is declared 'initial', but state 0 is already set as initial state. Wire with two initial states: 1 warning, 0 errors. Statistics of 'Wire with two initial states': 2 symbols: 1 input and 1 output 2 states: 0 demanding, 1 indifferent and 1 transient 2 transitions: 1 input and 1 output Automorphisms (symmetries): 0: a b Finest Semi-indepenent Partition: / a b / Choice, Order Dependence, Nondeterminism: Maximally Transient No Disabling Inputs (Z^inp) No Disabling Outputs (Z^out) Order-Independent Input (Y^inp) Order-Independent Output (Y^out) Output refusal sets propate backward over inputs Output Deterministic Distances: # reachable states = 2 [ + == 9 < distance < +inf , . == distance = +inf ] 0 1 0: 0 1 1: 1 0 Shortest paths from initial state: 0: 1: a Distribution of distances from initial state: [d=distance, h=occurrence count, c=cumulative occurrence count] d: h [c] 0: 1 [1] 1: 1 [2] Autocomparison Matrix: 0 1 0: . 0 1: 1 . 'Wire with two initial states' is a valid XDI specification.