(AND/IF_1.0 % This spec uses undeclared state 1 (NFA (NAME Wire with undeclared state) (INTERPRETATION Verhoeff/XDI) (SYMBOLS (a INPUT) (b OUTPUT) ) (STATES (0 INITIAL BOX) ) (TRANSITIONS (0 1 a) (1 0 b) ) ) )