Tietokoneen kieli on ”kieli”, joka koostuu muodollisesta syntaksista ja semantiikasta, jonka avulla käyttäjät voivat välittää ohjeita tietokonejärjestelmille. Ohjelmointikielet ovat ylivoimaisesti yleisimpiä esimerkkejä tietokonekielistä, joten termejä “tietokoneen kieli” ja “ohjelmointikieli” käytetään usein keskenään. Tietokone ei voi työskennellä ihmisten kielen kanssa, ja useimmissa tapauksissa ihminen ei voi työskennellä tehokkaasti tietokoneen binääritilassa, joten korkeamman tason kieli on tarpeen, jotta ohjelmoijat voivat antaa ohjeita tietokonejärjestelmille. Tietokonekieliä on useita tyyppejä. Eri ohjelmoijat haluavat käyttää yhtä tai useampaa kieltä henkilökohtaisten mieltymystensä, tietyn kielen erityisominaisuuksien ja käsillä olevan projektin vaatimusten vuoksi.
Syntaksi ja semantiikka tai rakenne ja merkitys ovat tietokonekielen kaksi määrittävää ominaisuutta, ja niitä voidaan verrata ihmisten kielten kielioppiin ja sanastoon. Eri ohjelmointitermit on tehtävä tiettyihin tilauksiin, ja ne on merkittävä erityisillä välimerkillä ja välilyönnillä, jotta tietokone ymmärtää. Yleensä nämä tietokoneen kieltä koskevat rajoitukset ovat paljon tiukempia kuin ihmisten kielet. Ihmisten kieltä voidaan usein silti ymmärtää jopa kieliopin ja sanankäytön ongelmien kanssa, mutta tietokoneiden tulkintavaltuudet ovat suhteellisen rajalliset; pienetkin välilyönnit aiheuttavat monilla kielillä virheilmoituksen, koska tietokone ei pysty noudattamaan annettuja ohjeita.
Ihmisten kielten tarkoituksena on mahdollistaa yksilöiden kommunikointi keskenään. Tämä voi sisältää keskustelun, komennon, kuulustelun, julistuksen ja monia muita viestintämuotoja. Tietokoneen kielen tarkoitus on sen sijaan yleensä antaa selkeitä ohjeita tietokoneelle, jota noudattaa, joten tällaiset kielet ovat yleensä välttämättömiä. Jotkut tietokonekielet perustuvat kuitenkin pääasiassa loogisten lausekkeiden tai matemaattisten kaavojen käyttöön. Tietokonekielen vähentäminen matemaattisiksi tai loogisiksi lausekkeiksi voi auttaa vähentämään joidenkin pakollisten ilmaisujen aiheuttamia sivuvaikutuksia, mutta se voi myös vaikeuttaa ohjelmointia niille, joilla ei ole laajoja matemaattisia taitoja.
Tietokoneiden kieliä muutetaan ja kehitetään ajan myötä vastaamaan paremmin käyttäjien tarpeita ja pysymään teknologian kehityksen tasalla. Muutokset sisältävät muutoksia syntaksiin ja semantiikkaan sekä lisäyksiä ja lisäyksiä yleiseen toiminnallisuuteen. Nykyaikainen tietokonekieli voidaan esimerkiksi päivittää vanhemmasta versiosta useiden ytimien suorittimien hyödyntämiseksi. Kielet on myös optimoitu mobiililaitteiden sovellusten ohjelmointiin.