Teoreetilibe informaatika kordamisküsimused
· 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.
Süntaks (teksti sisemine struktuur) versus semantika (teksti väline tähendus)
annaabi.ee 
