Weighted context-free grammar