^^Definizione ricorsiva di un insieme.

Definizione ricorsiva di un insieme

1. Sono dati gli elementi di partenza, in numero finito.
2. Dai precedenti vengono generati i seguenti tramite le regole di produzione.
3. L'insieme risultato e' l'unione di tutti gli elementi prodotti

e' detto: chiusura dell'insieme iniziale rispetto alle assegnate regole di produzione.

Esempi nel librosito

1. Rewriting system. Sistemi di riscrittura.
2. Linguaggio di una grammatica formale.
3. Produzione serie e parallelo.

Gli assiomi di Peano per i numeri naturali

• il successivo di un numero e' un numero
• 1 e' un numero.

Il caso di ricorsione concettualmente fondamentale nell'organizzazione ipotetico-deduttiva assiomatica della matematica.

Links

esOf: Ricorsione matematica. Definizione ricorsiva. Struttura ricorsiva. Induzione matematica.