Linguistica teorica e linguistica computazionale