Insieme ricorsivamente enumerabile

Nella teoria della calcolabilità esistono due definizioni di insieme ricorsivamente enumerabile (spesso abbreviato in insieme r.e.) o insieme semi-decidibile. Intuitivamente, un insieme numerabile ${\displaystyle S}$ si dice r.e. se esiste un algoritmo (o equivalentemente una funzione ricorsiva totale) che:

• preso un certo input, se l'input appartiene a ${\displaystyle S,}$ allora esso termina (o "è definita" nel caso delle funzioni ricorsive).

Oppure, equivalentemente,

• genera in output tutti e soli gli elementi di ${\displaystyle S}$.

La prima definizione è quella che più strettamente si riferisce al nome "insieme semi-decidibile", mentre la seconda al nome "ricorsivamente enumerabile" (la funzione ricorsiva infatti è detta in quel caso funzione enumeratrice).

La classe degli insiemi ricorsivamente enumerabili è un sovrainsieme stretto degli insiemi ricorsivi.

Definizioni formali

Le due seguenti definizioni degli insiemi r.e. sono date riferendosi solo all'insieme dei naturali e a funzioni dai naturali ai naturali; tuttavia tramite opportune funzioni di decodifica è possibile ricondurre a questi casi tutti gli altri insiemi numerabili.

Esistenza funzione enumeratrice

Un insieme numerabile ${\displaystyle S}$ si dice ricorsivamente enumerabile se esiste una funzione calcolabile ${\displaystyle f}$ tale che ${\displaystyle S}$ è l'immagine di ${\displaystyle f}$:

${\displaystyle \mathrm {Im} (f)=S.}$

In questo caso la funzione ${\displaystyle f,}$ per ogni controimmagine che prende in input, restituisce in output un elemento di ${\displaystyle S,}$ come per associare a ogni "posizione" (i naturali in input) nell'enumerazione l'elemento (di ${\displaystyle S}$) che sta in quella posizione. Per questo si dice che la funzione ${\displaystyle f}$ enumera ${\displaystyle S.}$ Da notare che sono ammesse ripetizioni nell'enumerazione, cioè un elemento di ${\displaystyle S}$ può trovarsi in più posizioni.

Insieme semi-decidibile

Un insieme numerabile ${\displaystyle S}$ si dice ricorsivamente enumerabile se è semidecidibile, cioè se la sua funzione semicaratteristica

${\displaystyle \mathbf {1} _{S}(x)=1{\text{ se e solo se }}x\in S}$

è calcolabile. In altre parole, se ${\displaystyle S}$ è un sottoinsieme della controimmagine di ${\displaystyle \mathbf {1} _{S}}$:

${\displaystyle S\subseteq \mathrm {Controim} (\mathbf {1} _{S})}$

e ${\displaystyle \mathbf {1} _{S}}$ restituisce 1 tutte e sole le volte in cui l'input appartiene ad ${\displaystyle S}$. Secondo la tesi di Church-Turing, il concetto di funzione calcolabile è definito in modo equivalente da vari modelli di calcolo, tra cui le macchine di Turing. Perciò, è frequente trovare una formulazione alternativa di questa stessa definizione, che sostituisce al concetto di funzione calcolabile quello di macchina di Turing:

Un insieme numerabile ${\displaystyle S}$ si dice ricorsivamente enumerabile sse esiste una macchina di Turing tale che, se prende in input un elemento di ${\displaystyle S}$, allora termina.

Dimostrazione dell'equivalenza delle due definizioni

Mostriamo che le due definizioni sono equivalenti mostrando che la prima implica la seconda, e che la seconda implica la prima.

Dobbiamo dimostrare che ${\displaystyle x\in \mathrm {Im} (f){\text{ se e solo se }}\mathbf {1} _{S}(x)=1.}$

Partiamo dalla definizione di insieme ricorsivamente enumerabile:

${\displaystyle \mathrm {Im} (f)=S,}$

è quindi possibile scrivere un programma ${\displaystyle P}$ che ci dica se un elemento ${\displaystyle x\in S}$ simile al seguente:

    begin
      input(x)
      while (F(i) != x)
             i = i + 1
      output(1)
    end.

La funzione calcolata dal programma è:

${\displaystyle \varphi _{P}(x)=1{\text{ se e solo se }}x\in S,}$

quindi ${\displaystyle S}$ è un sottoinsieme della controimmagine di ${\displaystyle \varphi _{P}}$:

${\displaystyle S\subseteq \mathrm {Controim} (\varphi _{P})}$

se e solo se

${\displaystyle \mathrm {Im} (f)\subseteq \mathrm {Controim} (\varphi _{P})}$

dunque, dato che ${\displaystyle \varphi _{P}=\mathbf {1} _{S},}$

${\displaystyle x\in \mathrm {Im} (f){\text{ se e solo se }}\varphi _{P}(x)=1{\text{ se e solo se }}\mathbf {1} _{S}(x)=1}$

dimostrando così l'uguaglianza tra le due definizioni.

La cardinalità della classe degli insiemi r.e.

È piuttosto banale dimostrare che la cardinalità della classe degli insiemi r.e. è numerabile, dato che si può stabilire una corrispondenza biunivoca dalla suddetta classe all'insieme delle macchine di Turing, nonostante possano esistere diverse MdT che accettano il medesimo insieme. Ciò è possibile perché, per definizione, ogni insieme r.e. è accettato da almeno una macchina di Turing, e inoltre l'insieme delle MdT è ricorsivo, dato che esiste una MdT in grado di stabilire sempre se un numero binario rappresenta una macchina di Turing valida. Dunque, a fortiori, l'insieme delle MdT è numerabile, e di conseguenza lo è anche la classe degli insiemi r.e.

Proprietà degli insiemi r.e.

Unione e intersezione

Se gli insiemi ${\displaystyle A}$ e ${\displaystyle B}$ sono r.e., allora anche ${\displaystyle A\cap B}$ e ${\displaystyle A\cup B}$ sono ricorsivamente enumerabili.

Insieme complemento

Se l'insieme ${\displaystyle S}$ è r.e. e l'insieme complemento ${\displaystyle {\overline {S}}=\mathbb {N} -S}$ (stiamo considerando ${\displaystyle \mathbb {N} }$ come universo) è anch'esso r.e., allora ${\displaystyle S}$ è ricorsivo. Formalmente:

${\displaystyle (S\in RE)\land ({\overline {S}}\in RE)\Rightarrow \;S\in R.}$

Interpretazione: osserviamo che per un insieme ricorsivo ${\displaystyle I}$, dato un qualunque numero naturale ${\displaystyle x}$, siamo in grado di rispondere in un tempo finito sull'appartenenza di ${\displaystyle x}$ all'insieme, sia nel caso in cui ${\displaystyle x\in I}$, sia nel caso in cui ${\displaystyle x\notin I}$.

Nel caso di un insieme ricorsivamente enumerabile, siamo invece in grado di rispondere in un tempo finito, solo nel caso in cui ${\displaystyle x\in I}$, mentre negli altri casi potremo dover calcolare all'infinito.

Il complemento ${\displaystyle {\overline {I}}}$ di un insieme ${\displaystyle I}$, contiene tutti gli elementi che non sono contenuti in ${\displaystyle I}$, quindi se fossimo in grado di accorgerci in un tempo finito quando un qualunque elemento ${\displaystyle x}$ appartiene a ${\displaystyle {\overline {I}}}$ (è il caso in cui ${\displaystyle {\overline {I}}}$ è ricorsivamente enumerabile), vorrebbe dire che siamo in grado di accorgerci in un tempo finito di quando un elemento generico ${\displaystyle x}$ non appartiene a ${\displaystyle I}$. Per cui ${\displaystyle I}$ e ${\displaystyle {\overline {I}}}$ non sono solo r.e., ma anche ricorsivi.

Corollario: Se ${\displaystyle S}$ è r.e. ma non ricorsivo, allora il suo complemento ${\displaystyle {\overline {S}}}$ non è r.e., cioè formalmente:

${\displaystyle (S\in RE)\land (S\notin R)\Rightarrow \;{\overline {S}}\notin RE.}$

Esempi di insiemi r.e.

Premessa: ricordiamo che ogni volta che utilizziamo la funzione ${\displaystyle \varphi }$, ci riferiamo a un'enumerazione delle funzioni ricorsive in cui la funzione ${\displaystyle \varphi _{i}}$ corrisponde alla ${\displaystyle i+1}$-esima funzione ricorsiva. Cioè detta ${\displaystyle f}$ la ${\displaystyle i+1}$-esima funzione ricorsiva, abbiamo:

${\displaystyle \varphi _{i}(y)=f(y).}$

Gli insiemi

• ${\displaystyle {\mathit {K}}=\lbrace x|\varphi _{x}(x){\text{ è definita}}\rbrace$ ;}
• ${\displaystyle {\mathit {K'}}=\lbrace \left\langle x,y\right\rangle |\varphi _{x}(y){\text{ è definita}}\rbrace }$ (problema della fermata);
• ${\displaystyle \lbrace x|\varphi _{x}(c){\text{ è definita}}\rbrace }$, dove ${\displaystyle c}$ è una qualunque costante;
• ${\displaystyle \lbrace \left\langle x,y,z\right\rangle |\varphi _{x}(y)=z\rbrace }$ (indecidibilità del valore di una funzione);

non sono ricorsivi ma r.e.

Limitazioni: insiemi non r.e.

Premessa: ricordiamo che ogni volta che utilizziamo la funzione ${\displaystyle \varphi }$, ci riferiamo a un'enumerazione delle funzioni ricorsive in cui la funzione ${\displaystyle \varphi _{i}}$ corrisponde alla ${\displaystyle i+1}$-esima funzione ricorsiva. Cioè detta ${\displaystyle f}$ la ${\displaystyle i+1}$-esima funzione ricorsiva, abbiamo:

${\displaystyle \varphi _{i}(y)=f(y).}$

Insieme delle funzioni ricorsive totali

L'insieme ${\displaystyle {\mathit {Tot}}=\lbrace x|\varphi _{x}{\text{ è totale}}\rbrace }$ non è r.e. Questo insieme corrisponde al problema di stabilire se un dato programma rappresenta un algoritmo (cioè se esista o meno un input sul quale il programma non termina). Si differenzia dal problema della fermata per il fatto che l'input su cui far girare il programma non è definito a priori.

Dimostrazione:

1. Per ipotesi supponiamo che ${\displaystyle {\mathit {Tot}}}$ sia ricorsivamente enumerabile.
2. Dall'ipotesi precedente segue che per la prima definizione che abbiamo dato di r.e., poiché ${\displaystyle {\mathit {Tot}}}$ non è vuoto (esiste almeno una funzione ricorsiva totale), esiste una funzione ricorsiva totale ${\displaystyle {\mathit {enum}}}$ che lo enumera:

   ${\displaystyle enum\colon \mathbb {N} \mapsto {\mathit {Tot}}}$, con ${\displaystyle \mathrm {Im} (enum)={\mathit {Tot}}.}$

3. Allora definiamo una funzione totale ${\displaystyle g}$, in questo modo:

   ${\displaystyle g(x)=\varphi _{enum(x)}(x)+1,}$

   ${\displaystyle g}$ è totale perché ${\displaystyle \varphi _{enum(x)}}$ è a sua volta una funzione totale, dato che ${\displaystyle {\mathit {enum}}(x)}$ restituisce solo indici di funzioni totali, cioè ${\displaystyle {\mathit {enum}}(x)\in {\mathit {Tot}}}$ per definizione (punto 2).

4. Chiamiamo ${\displaystyle {\mathit {\bar {i}}}}$ l'indice della funzione ${\displaystyle g}$ nell'enumerazione delle funzioni ricorsive che abbiamo specificato nella premessa: ${\displaystyle g=\varphi _{\bar {i}}.}$
5. Poiché ${\displaystyle g}$ è totale, il suo indice deve appartenere all'insieme ${\displaystyle {\mathit {Tot}}}$ (${\displaystyle {\mathit {\bar {i}}}\in {\mathit {Tot}}}$).
6. Inoltre, poiché ${\displaystyle {\mathit {enum}}}$ enumera l'insieme ${\displaystyle {\mathit {Tot}}}$ di cui ${\displaystyle {\mathit {\bar {i}}}}$ fa parte, deve esistere un ${\displaystyle {\mathit {\bar {x}}}}$ tale che ${\displaystyle enum({\bar {x}})={\bar {i}}.}$
7. Come abbiamo detto al punto 4, ${\displaystyle g=\varphi _{\bar {i}}}$, quindi applicando ${\displaystyle {\bar {x}}}$ come parametro abbiamo ${\displaystyle g({\bar {x}})=\varphi _{\bar {i}}({\bar {x}}).}$
8. Inoltre partendo dalla definizione del punto 3, ${\displaystyle g(x)=\varphi _{enum(x)}(x)+1}$, e applicando ${\displaystyle {\bar {x}}}$ come parametro, otteniamo ${\displaystyle g({\bar {x}})=\varphi _{enum({\bar {x}})}({\bar {x}})+1=\varphi _{\bar {i}}({\bar {x}})+1}$, che è in palese contraddizione col punto 7.
9. Quindi dalla ipotesi che ${\displaystyle {\mathit {Tot}}}$ sia r.e. segue l'assurdo, cioè segue che sia il punto 7 sia il punto 8, che sono in contraddizione, sono veri. Per cui ${\displaystyle {\mathit {Tot}}}$ non è r.e.

Insieme delle funzioni ricorsive non totali

L'insieme ${\displaystyle {\overline {\mathit {Tot}}}=\lbrace n|\varphi _{n}{\text{ non è totale}}\rbrace }$ non è r.e. Questo insieme corrisponde al complemento dell'insieme ${\displaystyle {\mathit {Tot}}}$, e rappresenta l'insieme delle funzioni il cui valore non è definito per almeno un valore dell'argomento.

Dimostrazione: Supponiamo per assurdo che ${\displaystyle {\overline {\mathit {Tot}}}}$ sia ricorsivamente enumerabile. Per la seconda definizione di r.e., la sua funzione semicaratteristica

${\displaystyle \mathbf {1} _{\overline {\mathit {Tot}}}(n)=1{\text{ se e solo se }}n\in {\overline {\mathit {Tot}}}}$

è calcolabile. Definiamo ${\displaystyle cost_{x,y}()=\varphi _{x}(y)}$ come la funzione identicamente uguale a ${\displaystyle \varphi _{x}(y)}$ e definiamo la seguente funzione:

${\displaystyle g(x,y)={\begin{cases}1,&{\text{se }}\varphi _{x}(y){\text{ è definita}},\\0,&{\text{se }}\mathbf {1} _{\overline {\mathit {Tot}}}(i)=1,{\text{ con }}\varphi _{i}=cost_{x,y}.\end{cases}}}$

Dato che ${\displaystyle cost_{x,y}}$ è una funzione ricorsiva, l'indice ${\displaystyle i}$ tale che ${\displaystyle \varphi _{i}=cost_{x,y}}$ è calcolabile.

La funzione ${\displaystyle g}$ è ben definita ed è calcolabile, perché ci sono solo due possibilità incompatibili:

• Se ${\displaystyle \varphi _{x}(y)}$ è definita, allora ${\displaystyle g(x,y)=1}$; inoltre, ${\displaystyle cost_{x,y}=\varphi _{i}}$ è totale, dunque ${\displaystyle i\notin {\overline {\mathit {Tot}}}}$, da cui segue che ${\displaystyle \mathbf {1} _{\overline {\mathit {Tot}}}(i)\neq 1,}$ quindi ${\displaystyle g(x,y)\neq 0}$.
• Se ${\displaystyle \varphi _{x}(y)}$ non è definita, allora non lo è nemmeno ${\displaystyle cost_{x,y}()}$, quindi ${\displaystyle cost_{x,y}=\varphi _{i}}$ non è totale, ossia ${\displaystyle i\in {\overline {\mathit {Tot}}}}$, da cui segue che ${\displaystyle \mathbf {1} _{\overline {\mathit {Tot}}}(i)=1,}$ e siccome la funzione semicaratteristica di ${\displaystyle {\overline {\mathit {Tot}}}}$ è calcolabile, allora ${\displaystyle g(x,y)=0.}$ Infine, il fatto che ${\displaystyle \varphi _{x}(y)}$ non sia definita implica che ${\displaystyle g(x,y)\neq 1}$.

Segue che ${\displaystyle g}$ è la funzione caratteristica dell'insieme ${\displaystyle K'}$, e siccome ${\displaystyle g}$ è calcolabile allora ${\displaystyle K'}$ è un insieme ricorsivo, ovvero il problema della fermata è decidibile, in contraddizione con il teorema di Turing.

Complemento di K

L'insieme ${\displaystyle {\overline {K}}=\lbrace y|\varphi _{y}(y){\text{ non è definita}}\rbrace }$ non è r.e.

Dimostrazione: si vede facilmente dal fatto che ${\displaystyle K}$ è r.e. ma non ricorsivo, e applicando il corollario della proprietà sull'insieme complemento.

Procedure elencative e insiemi r.e.

In generale diciamo insieme ricorsivamente enumerabile un'entità ${\displaystyle S}$ individuata esplicitamente da una procedura elencativa ${\displaystyle P_{S}}$ e dal relativo elenco potenziale ${\displaystyle E_{S}}$; si dice anche che gli identificatori che compaiono in ${\displaystyle E_{S}}$ rappresentano gli elementi che appartengono a ${\displaystyle S}$. Per esprimere il fatto che ${\displaystyle x}$ denota un elemento di ${\displaystyle S}$ si scrive ${\displaystyle x\in S}$.

Questa definizione non esclude che ${\displaystyle F_{S}}$ presenti identificatori ripetuti; si può avere anche una procedura ${\displaystyle P_{S}}$ che emette stringhe che vengono replicate illimitatamente; in particolare si può incontrare una procedura che elenca solo un numero finito di tipi di stringhe ripetendone illimitatamente uno o più tipi.

Ogni insieme ricorsivamente enumerabile può essere individuato da diverse procedure elencative. Tra queste se ne può trovare una non ripetitiva. In caso contrario, di fronte a una procedura ${\displaystyle P}$ che si dimostra o si sospetta essere ripetitiva se ne può costruire una ${\displaystyle P'}$ equivalente non ripetitiva: si tratta di ampliare la ${\displaystyle P}$ con un meccanismo che controlla se ogni nuovo identificatore di elemento generato coincide o meno con un identificatore già emesso e nel primo caso evita di emetterlo.

Osserviamo che la nuova procedura non ripetitiva ${\displaystyle P'}$ risulta più complicata della ${\displaystyle P}$ e potrebbe essere molto meno efficiente. Quindi le procedure ripetitive di concezione semplice possono presentare interesse.

Disponendo di una procedura elencativa non ripetitiva si possono riscontrare diversi comportamenti.

1. Si dimostra che genera un elenco illimitato di elementi: in tal caso si individua un insieme numerabile.
2. Si dimostra che genera un elenco limitato di elementi. Si possono allora incontrare due comportamenti: (2a) si individua un elenco esplicito di elementi; (2b) con le risorse impiegate non si riesce a determinare effettivamente l'elenco esplicito completo degli elementi.
3. Non si riesce a decidere se l'elenco che la procedura va generando sarà illimitato o meno e con le risorse impiegate fino a un certo punto si dispone di un elenco parziale di elementi.

Idealmente si distinguono le procedure elencative (eventualmente non ripetitive) in grado di generare elenchi illimitati da quelle in grado di generare elenchi finiti. Volendo limitarsi alle informazioni che possono essere effettivamente acquisite, si deve invece tenere presente la possibilità di una procedura elencativa ${\displaystyle P}$ che, dopo l'eventuale generazione di un certo numero finito di identificatori, proseguendo nella sua evoluzione per un certo numero di passi non effettua alcun'emissione. In tale circostanza chi attende di conoscere la sua emissione viene lasciato nel dubbio sul comportamento della procedura:

1. dopo un'ulteriore attesa la ${\displaystyle P}$ emetterà altri identificatori e si arresterà;
2. si avrà il chiarimento del fatto che la procedura procederà a un'emissione illimitata che porterà a un insieme finito (2a) o numerabile (2b);
3. essa continuerà a comportarsi in modo che non si sappiano prevedere gli sviluppi successivi.

Le distinzioni precedenti non si possono considerare mere sottigliezze senza conseguenze. In effetti si dimostra che risulta impossibile fare nette distinzioni fra le procedure elencative, quando queste vengono considerate nella loro globalità. Più precisamente si dimostra impossibile costruire un meccanismo o definire una procedura che consenta di stabilire la classe di comportamento alla quale appartiene una generica procedura elencativa. Questo è un risultato che pone dei limiti molto seri alla portata dei metodi computazionali e della matematica e dovrebbe essere sempre tenuto ben presente.

Diciamo insieme contabile un insieme ricorsivamente enumerabile che si rivela essere finito o numerabile. Solo le procedure per le quali si trovano i comportamenti precedentemente individuati da 1. e 2. individuano insiemi che si possono considerare contabili.

Bibliografia

• Giorgio Ausiello, Fabrizio d'Amore, Giorgio Gambosi; FrancoAngeli Editore: Linguaggi, Modelli, Complessità (2003) (ISBN 88-464-4470-1)
• Brainerd, W.S., Landweber, L.H. (1974), Theory of Computation, Wiley, ISBN 0-471-09585-0

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica