Formal Contributions

• Generalize TDPL/GTDPL with more expressive structured parsing expression syntax

• Negative syntactic predicate - !e

• Predicate elimination transformation

  • Intermediate stages depend on generalized parsing expressions

• Proof of equivalence of TDPL and GTDPL