Computation in Linguistics