Hacker News Reader

Comment by bmn__ | Hacker News Reader

> without ambiguity

This is not a distinguishing feature. (I'm assuming you meant something else.) Example of a CFG with ambiguity:

    S → S S
    S → x

You're right, I meant that each valid RHS matches one and only one LHS--but that's also true of CSGs.