What can't PEGs express directly?

• Ambiguous languages

  • That's what CFGs were designed for!

• Globally disambiguated languages?

  • {a,b}n a {a,b}n ?

• State- or semantic-dependent syntax

  • C, C++ typedef symbol tables
  • Python, Haskell, ML layout