PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Leoni G. Una completa definizione del linguaggio programmativo ALGOL-60 per mezzo di un algoritmo generalizzato di Markov. Tesi di laurea. UniversitÓ degli Studi di Pisa - FacoltÓ di Scienze Fisiche, Matematiche e Naturali - Corso di laurea in Matematica. Relatore Chiar.mo Prof. Alfonso Caracciolo di Forino. Anno accademico 1966-67. Internal note CSCE-NI-49-1967 (seconda serie), 1967.
 
 
Abstract
(English)
Abstract
(Italiano)
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)
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional