Stav dette: Formal Models in the Study of Language