mb automata 3 Sections GenAutomata Doc

Def smts_eff_rel(ss;r) == col_subst(x.smts_eff(ss;x);r)

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc