inversion transduction grammar