Abstract
(Italian) | In questo lavoro ci proponiamo di dare Una completa definizione della semantica dell'ALGOL-6O, e di completarne la definizione sintattica, per mezzo di uno strumento logico, gli Algoritmi Generalizzati di Markov (l) che si è mostrato invero molto potente e molto adatto alla soluzione di questo genere di problemi. La definizione che è stata data è completamente formalizzata e assolutamente rigorosa. Non abBiamo studiato a fondo i lavori citati sopra,per cui non ci è possibile operare un confronto fra questi ed il presente lavoro. E' opportuno però osservare un carattere del presente lavoro che lo differenzia dagli altri svolti sinora. La definizione che è stata data non ha solo carattere teorico, ma si presta ad essere applicata in maniera operativa.(2)
|