Studium linguistischer Probleme mit mathematischen Methoden.

Zur Fundierung syntaktischer wie semantischer Sachverhalte wurden u. a. Methoden und Strukturen aus Mengenlehre, mathematischer Logik, Relationen, Graphen- und Automatentheorie verwendet. Die Fragestellung der automatischen Sprachverarbeitung und -übersetzung wird in dem weitgehend eigenständigen Gebiet der Computerlinguistik behandelt.