GenAutomata
Sections
NuprlLIB
Doc
Def
[[s]] rho == t_iterate(st_lift(rho);
x,y. x
y;s)
is mentioned
In prior sections:
mb
automata
2
mb
automata
3
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
x,y. x
y;s)