Probabilistic context-free grammar