Specification in XDI model:
(AND/IF_1.0 (NFA (NAME 1-Source) (INTERPRETATION Verhoeff/XDI) (SYMBOLS (a OUTPUT) ) (STATES (0 INITIAL TRANSIENT) (1 BOX) ) (TRANSITIONS (0 1 a) ) ) )Also available through this link
Specification in Verdect:
define SOURCE( a! ) = pref(a!) endAlso available through this link
Specification in DI Algebra:
NAME = SOURCE I = { } O = { a! } S = a!;[ ]Also available through this link
No information available
No information available
No information available
No information available