Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem. Język formalny jest kluczowym pojęciem w informatyce, logice matematycznej i językoznawstwie. Język formalny nie jest uściśleniem pojęcia języka naturalnego. Alfabet języka formalnego składa się z symboli, słów lub tokenów, których konkatenacje stanowią łańcuchy języka.
Formalna definicja Język formalny to zbiór łańcuchów wybranych z pewnego gdzie jest konkretnym alfabetem. Jeśli jest alfabetem i to L jest zwany językiem nad Język nad nie musi obejmować wszystkich łańcuchów zawierających wszystkie symbole z Więc gdy jest językiem nad jest on językiem nad dowolnym alfabetem będącym podzbiorem nad .
Przykłady języków formalnych: zbiór wszystkich słów złożonych z liter polskiego alfabetu i występujących w pewnym słowniku, zbiór takich słów złożonych z cyfr od 0 do 9, które przedstawiają liczbę pierwszą, zbiór słów złożonych z zer i jedynek, w których zer jest więcej niż jedynek, zbiór prawidłowo napisanych równań matematycznych, zbiór programów, które po skompilowaniu i uruchomieniu zawieszą dany komputer, zbiór pusty.
Alfabet Alfabet to dowolny, niepusty zbiór symboli.