Ero sivun ”Ohjelmointikieli” versioiden välillä

[[File:Classes and Methods.png|thumb|300px|Java-ohjelmointikieli]]

'''Ohjelmointikielet''' ovat [[formaali kieli|formaaleja kieliä]], joita ohjelmoijat käyttävät [[tietokone]]en [[ohjelmointi]]in. Ohjelmointikielestä tuotetaan tietokoneen ymmärtämää [[Konekieli|konekieltä]] [[ohjelmointikielen kääntäjä|kääntäjäohjelmalla]] tai [[ohjelmointikielen tulkki|tulkilla]] mahdollisen [[Välikieli|välikielen]] kautta.

 

[[Small-Scale Experimental Machine]] oli ensimmäinen tietokone, jossa [[tietokoneohjelma|ohjelma]] voitiin tallettaa tietokoneen [[Muisti (tietokone)|muistiin]].<ref name="ssem">{{Verkkoviite | osoite = http://curation.cs.manchester.ac.uk/computer50/www.computer50.org/mark1/new.baby.html | nimeke = The Manchester Small Scale Experimental Machine -- "The Baby" | viitattu = 25.8.2017}}</ref> Myöhempien tietokoneiden ominaisuudet lisäsivät tarvetta käsitellä ohjelmointia ylemmällä tasolla ja kehitettiin symboliset konekielet (ks. [[Assembly (ohjelmointikieli)|Assembly]]).

 

Ohjelmointikielet ovat monin tavoin luonnollisten kielten kaltaisia. Niillä on oma sanastonsa ja kielioppisäännöstönsä; näistä kahdesta muodostuu kielen [[syntaksi]] eli lauseoppi. Niillä on myös looginen merkitys, jota kutsutaan [[semantiikka|semantiikaksi]]. Esimerkiksi lause "Koira puri luuta" on sekä syntaktisesti (lauseopillisesti) oikein että semanttisesti (merkitykseltään) mielekäs. Sen sijaan lause "Luu puri koiraa" on syntaktisesti oikein mutta semanttisesti epämielekäs. Vastaavasti ohjelmakoodin syntaktinen oikeellisuus, eli se, että kääntäjä kykenee kääntämään [[lähdekoodi]]n [[konekieli]]seksi ei vielä tarkoita, että ohjelma toimii aiotulla tavalla.