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