dział językoznawstwa zajmujący się badaniem zjawisk językowych metodami matematycznymi, zwł. za pomocą teorii mnogości i logiki matematycznej; także konstruowaniem formalnych modeli języków naturalnych i ich fragmentów; próby sformalizowanego opisu składni j. naturalnych podejmował w 1. poł. XX w. m.in. K. Ajdukiewicz, przy czym za fundamentalne dla l.m. uważa się prace N. Chomskiego; badania rozmaitych typów gramatyk formalnych i ich związków oraz właściwości generowanych przez nie języków bardziej rozwinięto w zakresie syntetycznym niż analitycznym; l.m. to także teoria gramatyk formalnych przydatna do badania języków oprogramowania.
- lingwistyka matematyczna, ( mathematical linguistics...
- językoznawstwo, inaczej lingwistyka...
- maszyna, ( machine )