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