Compoziția limbii. Limba obișnuită vorbită constă din patru elemente de bază: simboluri, cuvinte, fraze și propoziții. Limbajul de programare conține elemente similare, doar cuvintele sunt numite construcții elementare. fraze - expresii. oferte - operatori. Simbolurile, construcțiile elementare, expresiile și operatorii constituie o structură ierarhică. deoarece construcțiile elementare sunt formate dintr-o secvență de simboluri, expresiile reprezintă o secvență de construcții elementare și simboluri, iar operatorul este o secvență de expresii, construcții elementare și simboluri.
Descrierea limbii este o descriere a celor patru elemente numite. Descrierea simbolurilor constă în enumerarea simbolurilor permise ale limbii. Descrierea construcțiilor elementare este înțeleasă prin regulile formării lor. Descrierea expresiilor este regulile pentru formarea oricărei expresii care are sens într-o anumită limbă. Descrierea operatorilor constă în luarea în considerare a tuturor tipurilor de operatori care sunt permise în limba respectivă. Descrierea fiecărui element lingvistic este dată de sintaxa și semantica sa. Definitiile sintactice stabilesc reguli pentru construirea elementelor lingvistice. Semantica definește semnificația și regulile pentru utilizarea acelor elemente ale limbajului pentru care s-au dat definiții sintactice.
Simbolurile limbii sunt principalele semne indivizibile, în termenii cărora toate textele sunt scrise în limbaj.
Construcțiile elementare sunt unități minime de limbă care au semnificație independentă. Ele sunt formate din simbolurile de bază ale limbii.
Expresia în limbajul de programare constă în construcții elementare și simboluri. specifică o regulă pentru calculul unei anumite valori.
Operatorul specifică o descriere completă a unor acțiuni care trebuie efectuate. Un grup de operatori poate fi obligat să descrie o acțiune complexă. În acest caz, operatorii sunt combinați într-un operator compus. sau un bloc.
Acțiunile specificate de operatori sunt efectuate pe date. Propunerile unui limbaj de programare în care sunt date date despre tipurile de date se numesc descrieri sau operatori care nu sunt executabili.
Combinată printr-un singur algoritm, un set de descrieri și operatori formează un program într-un limbaj de programare.