GenAutomata Sections NuprlLIB Doc

Def apply_alist(as;l;d) == 2of((first p as s.t. 1of(p) = l else < l,d > ))

is mentioned

In prior sections: mb automata 1 mb automata 3 mb automata 4 mb automata 2


GenAutomata Sections NuprlLIB Doc