Parsing expression grammar: Difference between revisions

Content deleted Content added
Theory of parsing expression grammars: Undecidability of language emptiness.
Line 267:
<syntaxhighlight lang="peg">
Sum ← Term ( '+' Term / '-' Term )*
Args Arg ( ',' Arg )*
</syntaxhighlight>
A difference lies in the [[abstract syntax tree]]s generated: with recursion each <code>Sum</code> or <code>Args</code> can have at most two children, but with repetition there can be arbitrarily many. If later stages of processing require that such lists of children are recast as trees with bounded [[degree (graph theory)|degree]], for example microprocessor instructions for addition typically only allow two operands, then properties such as [[left-associative|left-associativity]] would be imposed after the PEG-directed parsing stage.