Formal Models in the Study of Language