is mentioned
In prior sections: mb automata 1 mb automata 2 mb automata 3
Try larger context: GenAutomata
x1.inr(x2) = > body(hd([x2 / tl(x1)])) cont(hd(x1),z))([x1])