GenAutomata
Sections
NuprlLIB
Doc
Def
smts_eff_rel(ss;r) == col_subst(
x.smts_eff(ss;x);r)
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
x.smts_eff(ss;x);r)