Selitä tässä, mitä formaalinen kieli tarkoittaa.
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 [algoritmi]sen toiminnan tarkkaan
kuvaamiseen. Ohjelmointikielet tekee erityisen tärkeiksi se, että
monilla niistä on [ohjelmointikielen toteutus].
[...]
----
(takaisin [ohjelmoinnin käsitteet]-sivulle)