mb automata 4 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

In prior sections: mb automata 1 mb automata 2

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc