GenAutomata Sections NuprlLIB Doc

Def term_iterate(v;p;op;f;tr;a;t) == t_iterate(x.ts_case(x)var(a)= > v(a)var'(b)= > p(b)opr(c)= > op(c)fvar(d)= > f(d)trace(P)= > tr(P)end_ts_case ;a;t)

is mentioned

In prior sections: mb automata 2


GenAutomata Sections NuprlLIB Doc