જે શિસ્ત કે કૃત્રિમ અને કુદરતી ભાષાઓ વર્ણન ઔપચારિક ઉપકરણ વિકાસ માટે જવાબદાર છે ગાણિતિક ભાષાશાસ્ત્ર મદદથી કમ્પ્યુટર સાથે બંધ સહકાર.