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 L. Löwenheim nel 1915 e D. Hilbert nel 1918), ...
Leggi Tutto
ricorrenza
ricorrènza [Der. di ricorrente] [LSF] Ciascuno dei casi in cui un dato fenomeno si verifica, sinon. di occorrenza. ◆ [ALG] (a) Sinon. di induzione (completa), come nelle locuz. definizione [...] per r., dimostrazione o ragionamento per r., principio di ricorrenza. (b) Sinon. di ricorsività. ◆ [GFS] Metodo della r.: v. terremoto, previsione del: VI 244 a. ◆ [MCS] Tempo di r.: v. oltre: Teorema di ricorrenza. ◆ [MCS] Teorema di r.: in un ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] , le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoria della computabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione numerica di n ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] Filtro non r.: v. immagini, elaborazione di: III 167 e. ◆ [ALG] [INF] Funzioni r. primitive: nella teoria della ricorsività, quelle che si possono ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione ...
Leggi Tutto
Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] l’ente matematico da definire o di cui si vuole provare l’esistenza. Un c. meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione ecc., ed è alla base della teoria della ricorsività (➔). ...
Leggi Tutto
La lingua e la scuola
Luca Serianni
Prima dell’Unità l’interesse dei vari Stati per l’istruzione era complessivamente modesto. Nel segmento iniziale, quello dell’asilo infantile, si registra addirittura [...] enfatici di gusto classicheggiante, comuni a tanta prosa coeva; si veda, dai Mille (apparsi nel 1874), la ricorsività di sequenze ricercate (aggettivo-possessivo-sostantivo: «nell’avventurosa mia carriera», «dalla potente sua squadra», «alla debole ...
Leggi Tutto
Reti di informazione e società
Tomás Maldonado
Nonostante il loro clamoroso impatto su molti aspetti della nostra società, le nuove tecnologie si trovano ancora in una fase incipiente. Anzi, gli storici [...] provenienti da canali diversi – visivi, auditivi e tattili – quanto piuttosto nella natura intermittente dell’esperienza, nella sua ricorsività, nel suo ripetersi frequentemente, così come nel suo incessante passaggio da un compito a un altro.
Appare ...
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 [...] , opportunamente codificata da una parola, e x è una parola tale che M si ferma se ha x come ingresso.
Ricorsività
Le funzioni ricorsive si possono definire come funzioni sulle parole, ma è più semplice definirle sugli interi come funzioni numeriche ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, nell’ambito dei numeri naturali, di...
binormalita
binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività.