Dragos VAIDA - Limbaje formale si tehnici de compilare, Tipografia Universitatii Bucuresti, 1976, 243pg.
Cunoscut in lumea specialistilor din domeniul limbajelor formale si a tehnicilor de compilare, profesorul Dragos VAIDA, a publicat in anul 1976 o lucrare bazata pe o bibliografie foarte bogata si la zi pentru acele timpuri, data la fiecare capitol al cartii, in care a abordat:- problemele teoretige ale limbajelor de programare din perspectiva programarii automate
- gramatici formale ca fundament al analizei sintactice
- aprofundarea gramaticilor formale si tuilizarea lor in designul limbajelor de programare structurate
- arbori si derivari cu exemplificari (pg 55- 58)
- limbaje independente de context
- matricea compilatorului de expresii aritmetice (pg. 132-133)
- forma normala a lui Chomsky
- aspecte de finitudine in limbajele de programare
- memoria de tip stiva - precedente
- translatarea orientata spre sintaxa in sase pasi (pg 178-180)
- gramaticile LR si analizoarele lor
- definirea formalizata a unui limbaj de programare (pg. 234-236)
- semantica limbajelor independente de context, cu aspecte legate de programarea masinii Turing.
Pe langa o abordare matematica riguroasa, lucrarea contine numeroase studii de caz care creeaza acea imagine a rezultatului teoretic orientat spre o utilizare concreta, ceea ce deschide noi drumuri in zona celor ce lucreaza in dezvoltarea concreta de produse software.
