Theory in syntax describing the structure of sentences using a formal system, key components include phrase structure rules like S → NP VP. Crucial for computational linguistics and natural language processing