mb automata 2 Sections GenAutomata Doc

Def t_iterate(l;n;t) == Case(t) Case x;y = > n(t_iterate(l;n;x),t_iterate(l;n;y)) Case tree_leaf(x) = > l(x) Default = > True (recursive)

is mentioned by

Def [[s]] rho == t_iterate(st_lift(rho);x,y. xy;s)[st_mng]

In prior sections: mb automata 1

Try larger context: GenAutomata

mb automata 2 Sections GenAutomata Doc