GenAutomata Sections NuprlLIB Doc

Def x ls == reduce(a,b. x = a b;false;ls)

is mentioned

In prior sections: mb label mb automata 2


GenAutomata Sections NuprlLIB Doc