Uks masinakask: tuupiliselt uks rida assembleri-programmi Neljas: Harilik progekeel ehk nn korgkeel (fortran, basic, c, java,python jne jne).Harilikud valemid, if-then-else jne, a la x=2*y+sin(y); Kõrgkeeled on erineva abstraktsusastmega: Masinalähedane ja ebamugav: Fortran, C (portaabel assembler) Abstraktsem ja mugavam: Lisp, Ada, ML, Java, Python, Peale programmeerimiskeelte on veel hulk muid keeli: Päringukeeled (SQL, RDQL, ....) Kujunduskeeled (HTML, PS, ...) Spetsifitseerimiskeeled (loogikakeeled, UML,) On olemas kaks põhivarianti keeles X programmi täitmiseks. Kompileerimine: masinkoodis programm nimega kompilaator teisendab keeles X programmi masinkoodfailiks Y. Seejärel täidetakse saadud masinkoodis programm Y. Näide: C. Interpreteerimine: masinkoodis programm nimega interpretaator loeb sisse X keeles faili ja asub seda ridarealt täitma.Näide:vana BASIC Just-in-time compilaator(TSI) Java Keelte erisused: kolm põhiasja Süntaks (kuidas
Timed Automata Formaalsed mudelid paralleelselt arendamisel, Me sooviksime, et spetsifitseerimiskeeled oleks p2 ja p3 peavad kui ka arvutiarhitektuuride, operatsioonisüsteemide, hästi mõlemad lõppema, enne Olekudiagrammid hajussüsteemide ja riistvarasüsteemide loomisel
· masinkeeled (masinkood konkreetse raali 01010 jada, autokood konkreetse raali märgiline progemiskeel) · algoritmilised e kõrgtaseme keeled (raalist sõltumatute protsesside kirjeldamiseks) aritmeetilised arvutused algebraliselt peamiste algoritmiliste juhtstruktuuride jaoks oma laused IO kirjeldamise laused erinevad andmetüübid / objektid · teadmiste esitamise e spetsifitseerimiskeeled teadmuskeeled, deklaratiivsed keeled Arvutikeelena võib kasutada mistahes märgisüsteemi, mis on raalile söödavale kujule teisendatav. Arvutiprogramm kui translaator, mis tõlgib sisendi väljundiks. 6. Programmeerimiskeelte formaalne spetsifitseerimine. Transleerimisprotsessi osad. Raaliga on võimalik lahendada vaid matemaatiliselt formaliseeritavaid ülesandeid. Seega peab raali keelte jaoks leiduma formaalne esitus.
Ei anna assembleriga analoogilist kontrolli masina üle Kõrgkeeled on erineva abstraktsusastmega: Masinalähedane ja ebamugav: Fortran, C (portaabel assembler) Abstraktsem ja mugavam: Lisp, Ada, ML, Java, Python, Peale programmeerimiskeelte on veel hulk muid keeli: Päringukeeled (SQL, RDQL, ....) Kujunduskeeled (HTML, PS, ...) Spetsifitseerimiskeeled (loogikakeeled, UML, ....) .... Kuidas keeles X kirjutatud programmi täidetakse? NB! arvuti suudab täita ainult masinkoodis programme. Kaks põhivarianti keeles X programmi täitmiseks. Kompileerimine: masinkoodis programm nimega kompilaator teisendab keeles X programmi masinkoodfailiks Y. Seejärel täidetakse saadud masinkoodis programm Y. Näide: C. Interpreteerimine: masinkoodis programm nimega interpretaator loeb sisse X keeles
annaabi.ee 
