Formaalit kielet ovat erilaisiin tarkoituksiin muodostettuja apukieliä, joita käytetään jonkin todellisen tai teoreettisen alueen tutkimisen tai hallinnan apuna. Ohjelmointikieli on malliesimerkki formaalisesta kielestä: se on tarkoitettu algoritmisen toiminnan tarkkaan kuvaamiseen. Ohjelmointikielet tekee erityisen tärkeiksi se, että monilla niistä on ohjelmointikielen toteutus.
Formaalisten kielten ominaisuuksia:
(takaisin ohjelmoinnin käsitteet-sivulle)