All’indomani della tragica scomparsa di Luca Serianni, l’affetto, la stima, la gratitudine e l’ammirazione di centinaia di amici, colleghi, docenti, studenti si è condensata in numerose iniziative di tributo [...] Eppure, nonostante convinzioni così alte, coltivate dal rigore procedurale dello scienziato, Serianni non smetteva di mantenere un profilo umana grazie ad autori preminenti che sappiano usare un linguaggio piano e comprensibile a tutti, anche a coloro ...
Leggi Tutto
preventivo
agg. e s. m. [der. del lat. praeventus, part. pass. di praevenire «prevenire»]. – 1. agg. Che previene, che serve a prevenire, che ha la capacità, lo scopo, la funzione di prevenire, di evitare qualche cosa, spec. con riferimento...
fin de non-recevoir
〈fẽ d nõ rësëvu̯àar〉 locuz. f., fr. (propr. «fine di non ricevere»; erroneo l’uso al masch. con cui è talvolta adoperata in Italia). – In senso proprio, nel linguaggio giur., mezzo procedurale tendente a stabilire che la...
linguaggio procedurale
linguaggio procedurale particolare → linguaggio di programmazione, il cui paradigma è basato essenzialmente sulla → procedura. Essa consiste in un sottoprogramma indipendente, definito all’interno del programma principale...
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. 2. Notazione. 3. Automi finiti. 4. Automi...