Formal Linguistics