GenAutomata
Sections
NuprlLIB
Doc
Def
(L -msg(a;b) L1) == filter(
a.reduce(
b,y.
msg(a;b)
y;true
;L1);L)
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc