Az algoritmikus nyelv fő összetevői
Az ábécé egy adott nyelv alapvető szimbólumainak rögzített halmaza; "ábécé betűk", amelyekből ezen a nyelven minden szövegnek tartalmaznia kell - a szövegben nincs más szimbólum.
A szintaxis a mondatok megalkotásának szabályai, amelyek segítségével megállapíthatja, hogy egy adott kifejezés helyesen vagy helytelenül van-e írva. Pontosabban, egy nyelv szintaxisa olyan szabályok halmaza, amelyek meghatározzák, hogy melyik karakterkombinációk értelmes mondatok az adott nyelven.
A szemiantika határozza meg a nyelvi mondatok szemantikai jelentését. Az egyes nyelvi konstrukciók értelmezésének szabályrendszere, a szemantika határozza meg, hogy mely cselekvési sorozatokat írnak le egy vagy másik nyelvi kifejezések, és végső soron, mely algoritmust definiálnak ebben a szövegben algoritmikus nyelven.
A magas szintű nyelvek a következőkre oszthatók:
Az eljárási (algoritmikus) nyelveket úgy alakították ki, hogy egyedülállóan írják le az algoritmusokat. A probléma megoldásakor az eljárási nyelvek egy formában vagy más módon kifejezetten írják le a megoldás módját.
Az eljárási programozási nyelvek kidolgozásának első lépése a probléma-orientált nyelvek megjelenése volt. Ez a név tükrözi azt a tényt, hogy nem a "gép", hanem a "feladattól" fejlesztették ki: a nyelvükön arra törekszenek, hogy teljes mértékben figyelembe vegyék a problémák osztályának sajátosságait, amelyekre használni kívánják. Például számos tudományos és technikai probléma esetén a komplex képletekkel kapcsolatos nagy számítások jellemzőek, ezért a kényelmes nyelveken bevezetésre kerülnek azok kényelmes rögzítési módjai. A fogalmak, kifejezések, szimbólumok, amelyek az ismeretek megfelelő szakemberei számára ismerősek, megkönnyítik számukra a nyelv elsajátítását, egyszerűsíti a program összeállításának és hibakeresésének folyamatát.
A problémamegoldások sokfélesége arra a tényre vezetett, hogy eddig több száz algoritmikus nyelvet fejlesztettek ki. Igaz, csak 10-15 nyelven kaptak széles körű elosztást és nemzetközi elismerést. Ezek közül először is meg kell jegyezni: a FORTRAN és az ALGOL - a tudományos és technikai problémák megoldására tervezett nyelvek, a COBOL - a gazdasági problémák megoldására, a BASIC - a kis számítástechnikai feladatok interaktív módban történő megoldására.
Elvileg mindegyik nyelv használható az osztályához tartozó problémák megoldására. Rendszerint azonban az alkalmazás nem megfelelő.
Ugyanakkor a hatvanas évek közepén kezdtek kifejleszteni a széleskörű orientáció-univerzális nyelvek algoritmikus nyelvét. Általában a szűk, orientált nyelvek képességeinek ötvözésére építették. Ezek közül a legismertebbek a PL / 1, PASCAL, C, C +. Modula, ADA. Mindazonáltal, mint bármely univerzális eszköz, az ilyen széles körben orientált nyelvek sok esetben kevésbé hatékonyak.
A logikai nyelvek (Prolog, Lisp, Mercury, KLO stb.) Nem a probléma megoldására szolgáló algoritmus írására irányulnak, hanem a probléma szisztematikus és formalizált leírására, hogy a megoldás a lefordított leírásból következzen. Ezek a nyelvek jelzik, hogy mit adtak és mit kell kapniuk. Ebben az esetben a probléma megoldásának keresése közvetlenül a számítógéphez van hozzárendelve.
Objektumorientált nyelvek (Object Pascal, C ++, Java, Objective Caml., Stb.). Az objektumorientált nyelvek irányadó elgondolása az a vágy, hogy az adatokat az adatok feldolgozási folyamataihoz egyetlen entitásra - egy objektumra - kapcsolják. Az objektumok egyik jellemző tulajdonsága az adatfeldolgozás adatainak és algoritmusainak beágyazása (egyesítése), aminek következtében mind az adatok, mind az eljárások nagyrészt elveszítik önálló jelentőségüket. Az objektumok olyan rejtett modulok, amelyek külső interfészei egy sor műveletből állnak. Valójában az objektumorientált programozás egy új szint moduláris programozásának tekinthető, amikor az eljárások és adatok nagyrészt véletlenszerű, mechanikus kombinációjának helyett a hangsúly a szemantikai kapcsolatukra helyeződik.
A program az objektum-orientált nyelvben, egy adott feladat megoldásával lényegében a világhoz tartozó feladatot írja le. A valóság leírása a kölcsönható objektumok rendszere formájában természetesbb, mint a kölcsönhatásban lévő eljárások formájában.