Formální jazyk odkazuje na jazykové přístupu modelování jazykových jevů pomocí formálních modelů nebo matematiku . Naproti tomu „neformální“ lingvistika popisuje jazykové jevy pomocí neformálních metajazyků , nejčastěji přirozených jazyků .
Formální přístup je přítomen ve všech dílčích disciplínách lingvistiky (vedle neformálních přístupů). Zejména je přítomen v morfosyntaxi se statistickými modely nebo formálními gramatikami, jako jsou gramatiky sjednocení . Sémantické formální obrátit zase do formální logiky , mnohem řidčeji ve statistických modelů. Fonetický také používá formální modely (statistika), když se nezdá, že formální modely pro fonologii .