GenAutomata Sections NuprlLIB Doc

Def smts_eff_pred(ss;p) == (rp.smts_eff_rel(ss;r))

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc