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