15 Mathematical and Computational Models of Transformational Grammar