Топ-100
Indietro

ⓘ Definizione ricorsiva. In matematica una definizione ricorsiva di un insieme A si ha quando per definire A vengono elencati degli elementi di A e delle regole p ..




                                     

ⓘ Definizione ricorsiva

In matematica una definizione ricorsiva di un insieme A si ha quando per definire A vengono elencati degli elementi di A e delle regole per costruire nuovi elementi di a partire da elementi di A.

Ad esempio linsieme P dei numeri pari può essere definito ricorsivamente dicendo:

  • 2 appartiene a P
  • se un numero n appartiene a P allora anche n +2 appartiene a P

Una definizione ricorsiva di una funzione f definita sui numeri naturali si ha quando f viene definita dando esplicitamente il valore che assume su 0 e dando una regola per calcolare il valore della funzione su n a partire dal valore che assume su n -1.

Anche in ambiente informatico luso della definizione ricorsiva è piuttosto comune, soprattutto sotto forma di acronimo ricorsivo: un esempio molto noto è

GNU = GNUs Not Unix

dove si può notare come il nome è la parte in un certo senso meno importante della definizione stessa.

Infine, linduzione matematica può portare a una specie di definizione ricorsiva, dove però cè un caso speciale al quale tutti gli altri prima o poi devono giungere e che quindi fa terminare la ricorsione. Ad esempio, per calcolare il fattoriale di un numero positivo n, si può dire

il fattoriale di 1 è 1; il fattoriale di n è n volte il fattoriale di n-1, se n è maggiore di 1.
                                     
  • tecnica ricorsiva permette di scrivere algoritmi eleganti e sintetici per molti tipi di problemi comuni, anche se non sempre le soluzioni ricorsive sono
  • funzioni definite mediante definizione ricorsiva Il secondo teorema di ricorsione è strettamente legato alle definizioni di funzioni calcolabili date
  • Infatti è difficile progettare una funzione che sia ricorsiva totale ma non primitiva ricorsiva anche se se ne conoscono alcune, come la funzione di
  • uso di procedure ricorsive è il seguente: In questo caso tale procedura non è ricorsiva cioè non richiama sé stessa. Nella definizione come produttoria
  • decidibili o ricorsivi sono una classe di linguaggi formali che corrisponde alla classe dei problemi decidibili. Esistono due definizioni principali equivalenti
  • teorema di completezza e se si vuole che la definizione di sistema formale continui ad essere ricorsiva Sistema assiomatico Altri progetti Wikibooks
  • posizione. Questa definizione però non esaurisce pienamente il concetto di che cosa sia un algoritmo. Per ottenere una definizione accettabile sono stati
  • finitamente generato ha una presentazione ricorsiva se e solo se è immerso in un gruppo a presentazione ricorsiva Segue che, a meno di isomorfismi, esiste
  • dall inglese well - formed formulas e sono definite mediante la seguente definizione ricorsiva un simbolo di proposizione è una fbf se A è una fbf lo è anche
  • distributiva e associativa. I due assiomi elencati forniscono una definizione ricorsiva della moltiplicazione. Estendiamo l operazione di moltiplicazione
  • Business, Fifth, Prentice Hall, 2006, pp. 551 568, ISBN 0 - 273 - 70195 - 9. Definizione ricorsiva Differenza finita Equazione alle differenze Master theorem Metodo