Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] caso il problema P è decidibile, e una MT che lo risolve è detta algoritmo per P. Se L non è ricorsivo il problema è indecidibile e non ammette algoritmo di risoluzione: tra questi problemi dobbiamo però distinguere quelli corrispondenti a linguaggi ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...