mb
automata
4
Sections
GenAutomata
Doc
Def
iterate(statevar x- > v(x) statevar x''- > v'(x') funsymbol op- > opr(op) freevar f- > fvar(f) trace(tr)- > trace(tr) a(b)- > comb(a;b) over t) == term_iterate(
x.v(x);
x'.v'(x');
op.opr(op);
f.fvar(f);
tr.trace(tr);
a,b. comb(a;b); t)
is mentioned
In prior sections:
mb
automata
2
mb
automata
3
Try larger context:
GenAutomata
mb
automata
4
Sections
GenAutomata
Doc
x.v(x);
x'.v'(x');
op.opr(op);
f.fvar(f);
tr.trace(tr);
a,b. comb(a;b);
t)