XDI
Schematic diagram for a 0-Sink:
[Zoom|FIG]
[Zoom|FIG]
Specification in XDI model:
(AND/IF_1.0
(NFA
(NAME 0-Sink)
(INTERPRETATION Verhoeff/XDI)
(SYMBOLS
(a INPUT)
)
(STATES
(0 INITIAL BOX)
)
(TRANSITIONS
)
)
)
Also available through this link
Verdect
Specification in Verdect:
define SINK0 = SKIPAlso available through this link
DI Algebra
Specification in DI Algebra:
NAME = 0-Sink
I = { a? } O = { }
S0 = a?;CHAOS
Also available through this link
Properties
XDI Report.A 0-Sink behaves like a a Sink after it has been sent a signal on its one and only input terminal a:
S0 = S1 / a?