In general

Motivation:

Inquiry into theoretical and descriptive linguistics, computational properties of language; teaching; tools for research and development infrastructure; commercial applications (e.g. spelling correctors, vocabulary extension, lexicon construction)

Methods:

Relation between formal (symbolic mechanism and formalism oriented) and empirical (fieldwork, experiment, measurement oriented) methods

Models:

Characterisations of the relevant empirical domain (informal or, by explication, formal)

Mathematics:

Syntactic and semantic (both declarative and procedural) properties of formalisms; computational implementations as operational theories and their models as virtual realities