EDIS:
Guide |
FAQ |
New |
Search |
Bibliography |
Index |
Feedback
First-Rest Discriminator
Informal
A First-Rest Discriminator has one input terminal a and
two output terminals b and c.
Each input signal produces one output signal.
Input and output signals alternate.
The first output signal is on b,
all other output signals appear on c.
Schematic diagram
for a First-Rest Discriminator:
[Zoom|FIG]
XDI state graph
for a First-Rest Discriminator:
[Zoom|FIG]
Specification in XDI model.
Specification in Verdect:
define FRD( a?, b!, c! ) =
pref ( a? ; b! ; *[ a? ; c! ] )
end
Also available through this link
Specification in DI Algebra:
FRD = a? ; b! ; RD
RD = a? ; c! ; RD
Also available through this link
XDI Report.