Arvutid II teooria eksam
Mitteformaalsed (loomulikus keeles)
kaudselt teha järeldusi parallelismi kohta) on keeltes On olemas sündmuste osaline järjestatavus
Detailsemad ja ühetähenduslikumad, kasutades
fikseeritud ainult andmete sõltuvuse põhjal mittedeterministlik: · A poolt sümboli genereerimin
spetsifikatsioonikeeli
Väga tüüpiline paljudes DSP rakendustes Ülesannete täitmise järjekord ei ole kindlaks toimub alati enne selle tarbimist
Spetsifikatsioonikeeled peavad:
määratud (võib mõjutada tulemust). B poolt
Olema võimelised hästi väljendama peamisi
annaabi.ee 
