Title: Formalizing Natural Languages
Subjects: Computational linguistics, Linguistics, Computer programs, Natural language processing (Computer science)