GenAutomata Sections NuprlLIB Doc

Def P o evt(L) == P(map(evt;L))

is mentioned

In prior sections: mb hybrid


GenAutomata Sections NuprlLIB Doc