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 is inconsistent because state 2 is transient but has no 3> % outgoing output arrows 4> (NFA 5> (NAME Inconsistent) 6> (INTERPRETATION Verhoeff/XDI) 7> (SYMBOLS 8> (a INPUT) (b OUTPUT) 9> ) 10> (STATES 11> (0 INITIAL BOX) 12> (1 TRANSIENT) 13> ) 14> (TRANSITIONS 15> (0 1 a) 16> ) 17> ) 18> ) ----------------------------------------------------------------------------- Inconsistent: warning: transient state '1' has no output transition(s), label changed to 'box' Inconsistent: 1 warning, 0 errors. Statistics of 'Inconsistent': 2 symbols: 1 input and 1 output 2 states: 0 demanding, 2 indifferent and 0 transient 1 transition: 1 input and 0 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: . 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: . . 1: 1 . 'Inconsistent' is a valid XDI specification.