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 uses undeclared state 1 3> (NFA 4> (NAME Wire with undeclared state) 5> (INTERPRETATION Verhoeff/XDI) 6> (SYMBOLS 7> (a INPUT) (b OUTPUT) 8> ) 9> (STATES 10> (0 INITIAL BOX) 11> ) 12> (TRANSITIONS 13> (0 1 a) *** Line 13: Warning: state '1' is not declared in the STATES section, but used in the TRANSITIONS section 14> (1 0 b) 15> ) 16> ) 17> ) ----------------------------------------------------------------------------- Wire with undeclared state: warning: state '1' has no label. Assuming 'box' Wire with undeclared state: 1 warning, 0 errors.