Un alfabet este un set fix de simboluri de bază pentru o anumită limbă; "literele alfabetului" din care ar trebui să existe orice text din această limbă - nu sunt permise alte simboluri în text.
Sintaxa este regulile pentru construirea de fraze, permițându-vă să determinați dacă o anumită expresie este scrisă în mod corect sau incorect. Mai exact, sintaxa unei limbi este un set de reguli care determină care combinații de caractere sunt propoziții semnificative în acea limbă.
Semantica determină semnificația semantică a propozițiilor de limbă. Ca un sistem de norme de interpretare a anumitor constructe lingvistice, semantica determină ce secvență de acțiuni descrise în aceste sau alte fraze de limbă și, în cele din urmă, ceea ce algoritm este definit conform textului în limba algoritmică.
Limbile de nivel înalt sunt împărțite în:
Limbile procedurale (algoritmice) sunt concepute pentru a descrie în mod unic algoritmi. Atunci când rezolvăm o problemă, limbile de procedură necesită, într-o formă sau alta, să notăm în mod explicit procedura de rezolvare a acesteia.
Primul pas în dezvoltarea limbajelor de programare procedurală a fost apariția unor limbi orientate spre probleme. Acest nume reflectă faptul că acestea sunt dezvoltate nu din "mașină", ci din "sarcină": în limba pe care se străduiesc să ia pe deplin în considerare specificul clasei de probleme pentru care este destinat să fie folosit. De exemplu, pentru numeroase probleme științifice și tehnice, calculele mari pe formule complexe sunt tipice, prin urmare, în limbi convenabile, sunt introduse mijloace convenabile de înregistrare a acestora. Utilizarea de concepte, termeni, simboluri, familiare specialiștilor din domeniul cunoașterii, îi ușurează învățarea limbii, simplifică procesul de compilare și depanare a programului.
Varietatea claselor de probleme a dus la faptul că până în prezent au fost dezvoltate câteva sute de limbi algoritmice. Este adevărat că numai 10-15 limbi au primit o distribuție largă și o recunoaștere internațională. Printre acestea, trebuie remarcat în primul rând: FORTRAN și ALGOL - limbi concepute pentru rezolvarea problemelor științifice și tehnice, COBOL - pentru rezolvarea problemelor economice, BASIC - pentru rezolvarea unor mici sarcini de calcul într-un mod interactiv.
În principiu, fiecare dintre aceste limbi poate fi folosit pentru a rezolva probleme nu din clasa sa. Cu toate acestea, ca regulă, cererea nu este convenabilă.
În același timp, la mijlocul anilor șaizeci, au început să se dezvolte limbi algoritmice de orientare largă - limbi universale. De obicei, acestea au fost construite pe principiul combinării capacităților limbilor orientate în profunzime. Dintre acestea, cele mai cunoscute sunt PL / 1, PASCAL, C, C +. Modula, ADA. Cu toate acestea, ca orice instrument universal, astfel de limbi orientate pe scară largă sunt, în multe cazuri specifice, mai puțin eficiente.
Limbile logice (Prolog, Lisp, Mercury, KLO, etc.) sunt orientate nu spre scrierea algoritmului pentru rezolvarea problemei, ci către o descriere sistematică și formalizată a problemei, astfel încât soluția să rezulte din descrierea compilată. Aceste limbi indică ce este dat și ce este necesar să primiți. În acest caz, căutarea pentru rezolvarea problemei este atribuită direct calculatorului.
Limbi orientate pe obiecte (Object Pascal, C ++, Java, Objective Caml., Etc.). Ideea călăuzitoare a limbilor orientate pe obiecte este dorința de a conecta datele la procedurile de procesare a acestor date într-o singură entitate - un obiect. O caracteristică caracteristică a obiectelor este încapsularea (unirea) de date și algoritmi pentru prelucrarea acestora, ca urmare a căror date și proceduri pierde în mare măsură semnificația lor independentă. Obiectele sunt module ascunse ale căror interfețe externe constau dintr-un set de operații. De fapt, programarea orientată pe obiecte poate fi considerată o programare modulară a unui nou nivel, când în loc de o combinație mecanică, în mare măsură aleatorie, mecanică a datelor și procedurilor, accentul se pune pe legătura lor semantică.
Programul în limba orientată pe obiecte, rezolvând o anumită sarcină, descrie în esență o parte a lumii legată de această sarcină. Descrierea realității sub forma unui sistem de obiecte care interacționează este mai naturală decât sub forma procedurilor de interacțiune.
Articole similare
Trimiteți-le prietenilor: