Domande taggate «undecidability»

Domande su problemi che non possono essere risolti da nessuna macchina Turing.

2
Decidibilità del controllo di un antiderivativo?
Supponiamo di avere due funzioni FFF e GGG e sono interessato a determinare se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Supponiamo che le mie funzioni siano composte da funzioni elementari (polinomi, esponenziali, registri e funzioni trigonometriche), ma non, diciamo, serie di Taylor. Questo problema è risolvibile? In caso contrario, è semidecidibile? (Lo …
1
Il problema dell'universo per gli automi a un contatore con dimensioni alfabetiche limitate è indecidibile?
Considera il seguente problema dell'universo . Il problema dell'universo. Dato un set finito per una classe di lingue e un automa che accetta la lingua , decidere se .ΣΣ\SigmaLLLL =Σ*L=Σ*L=\Sigma^* In [1], si afferma e si dimostra che il problema dell'universo è indecidibile per una particolare classe di automi a …
1
Domanda relativa al decimo problema di Hilbert
Dato n ∈ Nn∈Nn \in \mathbb{N} e p , q∈ N [X1, ... ,Xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] si può definire la seguente formula nel linguaggio dell'aritmetica formale φ ( n , p , q) = ∀X1⋯ ∀Xn: ¬ ( p (X1, ... ,Xn) = q(X1, ... ,Xn) )φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.