Riassunto analitico
Dopo aver definito e descritto in modo accurato il linguaggio, la grammatica, gli automi e i riconoscitori deterministici, il presente lavoro si incentra sul descrivere ed esaminare alcuni strumenti atti allo sviluppo di prototipi di traduttori, allo scopo di sottolineare le differenze di gestione e di analisi tra i vari prototipi presi in esame. Vengono messi in evidenza, inoltre, anche l’aspetto sintattico e l’aspetto semantico dei parser esaminati.
Quello su cui la nostra tesi si è maggiormente concentrata è il parser generator Yacc per le grammatiche LALR(1), del quale sono stati messi in evidenza le caratteristiche principali e il modo in cui si serve delle grammatiche. Sono state quindi ricercate, negli strumenti successivi come Bison, Essence e Coco/R, le innovazioni rispetto a Yacc, che resta comunque, ancora oggi, uno degli strumenti più diffusi nel settore.
|
