Formalisierung (Sprachwissenschaft)

Anwendung formalisierter Sprachen zur Beschreibung natürlicher Sprachen, wie sie v. a. in der generativen Transformationsgrammatik erfolgt. Grammatik wird in diesem Rahmen als ein mathematisches System verstanden, innerhalb dessen »wohlgeformte« Sätze nach bestimmten expliziten Regeln (Explizität) generiert werden können. Als Vorzüge einer Formalisierung werden Präzision, Ökonomie und Überprüfbarkeit von Theorien