GenAutomata Sections NuprlLIB Doc

Def (t)' == term_iterate(x.x';x.x';op.op;f.f;P.trace(P);a,b. a b;t)

is mentioned

In prior sections: mb automata 2 mb automata 3


GenAutomata Sections NuprlLIB Doc