GenAutomata
Sections
NuprlLIB
Doc
Def
memorylessR(E)(L_1,L_2) ==
a:|E|. L_2 = filter(
b.
(b =msg=(E) a);L_1)
|E| List
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
a:|E|. L_2 = filter(
b.
(b =msg=(E) a);L_1) 
|E| List