Tag: leftmost derivation