(AND/IF_1.0 (NFA (INTERPRETATION Verhoeff/XDI) (NAME Chaos) (SYMBOLS ) (STATES (0 INITIAL BOTTOM) ) (TRANSITIONS ) ) )