Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] una funzione polinomiale. Un'altra classe rilevante è la NP, definita come la P, ma che ammette anche macchine di Turing non deterministiche. Si ha così che un linguaggio è in NP se esiste una ricerca in un albero binario di altezza polinomiale che ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] . Savitch, S. Cook, R. Karp, D. Johnson, L. Levin e altri, volte a caratterizzare (anche mediante modelli di calcolo non deterministici, in cui cioè le computazioni non sono costituite da una sequenza univoca di passi ma si diramano con una struttura ...
Leggi Tutto
Calcolatori
LLew Kowarski
di Lew Kowarski
SOMMARIO: 1. Definizioni e storia: a) i calcolatori come dispositivi numerici; b) i calcolatori come dispositivi elettronici; c) stadi dello sviluppo storico. [...] in problemi particolarmente nuovi, poco noti e che necessitano di molti tentativi e prove. Il contrasto tra il modo deterministico e quello euristico di affrontare un problema (che può essere un modesto aspetto del più grande e profondo contrasto ...
Leggi Tutto
deterministico
determinìstico agg. [der. di determinismo] (pl. m. -ci). – Che è fondato sul determinismo: concezioni d.; interpretazione d. della realtà. ◆ Avv. deterministicaménte, secondo i principî e le teorie del determinismo: interpretare...
stocastico
stocàstico agg. [dal gr. στοχαστικός «congetturale», propr. «che mira bene, abile nel congetturare», der. di στοχάζομαι «mirare, congetturare» da στόχος «bersaglio, mira, congettura»] (pl. m. -ci). – 1. Nel calcolo delle probabilità,...