Semantics for context-free language