diff options
Diffstat (limited to 'si/n3.lyx')
| -rw-r--r-- | si/n3.lyx | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -145,7 +145,7 @@ Podemos representar un problema de búsqueda en un espacio de estados como \end_inset , -\begin_inset Formula $\{w\in V:(v,w)\in A\}$ +\begin_inset Formula $\{w\in V\mid (v,w)\in A\}$ \end_inset es finito y recursivamente enumerable a partir de @@ -1224,7 +1224,7 @@ Podemos representar un problema de reducción como una tupla \end_inset contable y tanto -\begin_inset Formula $\{S\subseteq V:(u,S)\in V\}$ +\begin_inset Formula $\{S\subseteq V\mid (u,S)\in V\}$ \end_inset como cada uno de sus elementos finito y recursivamente enumerable a partir |