That's the syntactic differences, but there are also semantic ones. Most notably, the choice operator can either be ordered like in PEGs (if the first branch m

That's the syntactic differences, but there are also semantic ones. Most notably, the choice operator can either be ordered like in PEGs (if the first branch matches, the other isn't evaluated) or pick the branch that produces the longest match, CFG-like.