Teoreetilibe informaatika kordamisküsimused
· Järjestatud puu T lõppjärjekord:
avaldis rrep(T), kus
o kui T juur on a, mille vahetud alampuud on T 1 .. Tk, siis
rrep(T) = (rrep(T1), .. , rrep(Tk))a
o kui a on terminaalne tipp, siis rrep(T) = a
Juur jääb paremale
Komad eraldavad sulus sama taseme tippe sulu ees on selle taseme juur
Programmi struktuuri esitamine puuna:
Lehed on operandid, juur on operaator.
Varem täitmisele tulevad operatsioonid on kõrgematel astmetel.
Kuna viitstruktuurid liiga mahukad, kasutatakse ees-, kesk- või lõppjärjekordi.
Selliseid programme saab täita ühe magasiniga raali ja funktsioone pop(element)
ja push(element)
Tõestuste esitamine puudena:
Puu lehed on aksioomid ning teised tipud on teoreemid.
Kaared vastavad tuletusreeglite rakendamisele.
5. Programmeerimiskeelte klassid.
Arvuti töötleb fikseeritud märgisüsteemis esitatud infot. See märgisüsteem on
keel. Enamus raalis kasutatavatest keeltest moodustavad
programmeerimiskeeled.
annaabi.ee 
