

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