Ramo della linguistica che studia le proprietà formali e matematiche del linguaggio. Per il significato di studio dei fatti linguistici fondato sugli spogli elettronici, usare Linguistica computazionale