GenAutomata Sections NuprlLIB Doc

Def (f o M) == mk_sm(M.da o f, M.ds, M.init, s1,a,s2. l:Label. kind(a) = f(l) & M.trans(s1, < l,value(a) > ,s2))

is mentioned

In prior sections: mb state machine


GenAutomata Sections NuprlLIB Doc