"raalile" - 1 õppematerjal

Teoreetilibe informaatika kordamisküsimused

· 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. Süntaks (teksti sisemine struktuur) versus semantika (teksti väline tähendus). Süntaksi esitamine lihtne. Semantika esitamine peamiselt tõlke, verifitseerimise kaudu.