Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
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)