ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] di algoritmo.
Teoria della ricorsività
La motivazione originaria per lo studio della r. fu soprattutto il problema della decisione per le teorie formali (formulato da E. Schröder nel 1895 e ripreso da ...
Leggi Tutto
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 [...] da quelle iniziali (proiezione, successore e costanti) mediante le seguenti operazioni: (a) composizione; (b) ricorsione primitiva; (c) minimizzazione. La ricorsione primitiva permette di costruire una funzione f a partire da funzioni g, h mediante f ...
Leggi Tutto