Where after “start axiom”, the next action would not be to add the leftmost character of the axiom’s string, but the topmost node of the abstract syntax tree, such as that it is a disjunction of 3 terms.
Where after “start axiom”, the next action would not be to add the leftmost character of the axiom’s string, but the topmost node of the abstract syntax tree, such as that it is a disjunction of 3 terms.