Formal and Computational Linguistics
Overview
Formal linguistics studies language with methods from mathematics and logic, building precise models of syntax, semantics, and phonology. The learning-theoretic side asks which classes of functions are learnable from which kinds of data, and the subregular hierarchy gives a fine-grained way to locate a phonological or morphological process by the computational power it requires. That framing carries over directly into how I evaluate language models today: the same hierarchy that classifies a phonological rule can define the difficulty of an induction benchmark. This line also covers semantics of disjunction in generic sentences, complexity in optional phonological processes, and structured annotation of natural language for open-domain information extraction.