PUMA - CSCE

INFORMAZIONI GENERALI

Istituto:

cnr.isti

Collezione:

cnr.csce

Tipo:

B4 Internal note

Titolo:

Una completa definizione del linguaggio programmativo ALGOL-60 per mezzo di un algoritmo generalizzato di Markov

Lingua sommario:

English

Sommario in Inglese:

Altra Lingua sommario:

Italian

Sommario in altra lingua:

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)

URL Documento:

DOI Documento:

AUTORI

Autore/i

Cognome: Leoni
Nome: Gualtiero
Sezione/Laboratorio:
Tipo affiliazione: - Affiliazione:

KEYWORDS

Soggetti

FONTE/DESCRIZIONE

Descrizione:

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

Data di creazione:

12/12/1967

Note:

FILE_INFO

File allegati: