Title: Formal methods in the study of Language