發送短信: Formal Models in the Study of Language