Scienza del computer computability

3

Arrestare il problema - un problema che mi dà fastidio

Per quanto ne sappia, l'arresto del problema chiede se esiste un programma che decide se un programma viene testato, dati alcuni dati di input (non importa quale programma sia, o quali dati di input che forniamo) verrà chiuso o meno. La risposta a questo problema è "no". In altre parole, …

8 computability halting-problem

2

Dato un TM , lascia mai lo stato iniziale quando il nastro di avvio è vuoto?

Voglio determinare se questo problema di decisione è decidibile. Ho provato a stabilire riduzioni da Halt e "Accetta stringhe vuote", ma non ho ancora trovato una soluzione. Qualcuno mi può aiutare?

8 computability turing-machines undecidability

2

Come può un sistema di tag ciclico arrestarsi con un output?

Ad esempio, possiamo dire di avere un programma astratto che, data una stringa binaria finita come input, rimuove tutti gli zeri (cioè 0010001101011 restituisce 111111), che è sicuramente una funzione calcolabile di Turing. Come può un sistema di tag ciclico calcolare questo (che può, per definizione, essendo Turing completo) quando …

8 computability turing-machines

1

La tesi di Church-Turing si applica anche all'intelligenza artificiale?

Secondo la tesi di Church-Turing, è impossibile progettare un algoritmo per decidere il problema di arresto. La parola algoritmo in questo contesto include l'intelligenza artificiale o no, cioè la tesi di Church-Turing si applica anche all'intelligenza artificiale? È possibile progettare un sistema di intelligence in futuro per decidere questo problema …

8 computability artificial-intelligence halting-problem church-turing-thesis

5

è possibile ridurre al minimo gli automi pushdown?

è possibile ridurre al minimo gli automi pushdown? Se no, perché? È perché per minimizzare le classi di equivalenza devono avere un indice finito e non possiamo garantirlo per CFG?

8 computability automata pushdown-automata

3

Teorema di incompletezza di Gödels (primo) e il problema dell'arresto - Quanto è limitante?

Quando ho sentito parlare per la prima volta di queste cose, sono rimasto molto affascinato perché pensavo che ponesse davvero un limite alla matematica e alla scienza in generale. Ma quanto sono praticamente rilevanti queste cose? Per il problema di arresto: ci sono più di alcuni casi artificialmente costruiti, in …

8 computability logic halting-problem applied-theory

1

Perché è impossibile decidere la regolarità di un linguaggio privo di contesto?

Come ho studiato, decidere la regolarità delle lingue senza contesto è indecidibile. Tuttavia, possiamo verificare la regolarità usando il teorema di Myhill – Nerode che fornisce una condizione necessaria e sufficiente. Quindi il problema dovrebbe essere decidibile. Dov'è il mio errore?

8 formal-languages computability regular-languages undecidability

2

Spiegare "decidibilità" e "verificabilità"

Sto cercando di comprendere (intuitivamente) i due termini "decidibilità" e "verificabilità". Ho fatto una ricerca ragionevole e ho esaminato i vari testi su cui posso mettere le mani. Tuttavia, la loro comprensione intuitiva sembra sfuggirmi, specialmente per la seconda. Tra le molte definizioni trovate, la seguente trovata in questa pagina …

8 complexity-theory formal-languages terminology computability

4

Il nostro PC funziona come Turing Machine?

Il nostro PC funziona come Turing Machine? Il modello di una macchina di Turing è costituito da un infinito nastro di memoria, che significa stati infiniti. Ma supponiamo che se il nostro PC ha 128 MB di memoria e 30 GB di disco avrebbe 256 ^ 30128000000 stati e quindi, …

8 complexity-theory computability turing-machines automata

5

Come capire se una lingua è riconoscibile, riconoscibile o decidibile?

Se hai una lingua L, senza fare alcuna prova, c'è un modo per capire se è riconoscibile o riconoscibile o decidibile? Fondamentalmente tutti i suggerimenti o trucchi che possono essere utilizzati per dire. O forse i modelli comuni da cercare per dire che tipo è?

8 computability undecidability intuition

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 …

8 computability logic undecidability

1

non può essere calcolabile anche se è decidibile?

Sto cercando di insegnarmi la teoria della calcolabilità con un libro di testo. Secondo il mio libro, una funzione su un alfabeto è calcolabile solo se la linguafffA={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, …

8 formal-languages computability undecidability

1

Come mostrare che l'insieme di macchine che accettano le lingue in

Vorrei il tuo aiuto per dimostrare che la lingua L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \} è decidibile iff P = N PP=NP\mathrm{P}=\mathrm{NP}. Se P = N PP=NP\mathrm{P}=\mathrm{NP}, Capisco che è il linguaggio delle …

8 computability undecidability p-vs-np

1

Formalismo simile a una macchina di Turing per The Actor Model

Le macchine di Turing hanno un alfabeto simbolico formale, una descrizione basata su regole di transizione e stato di come viene fatto un calcolo. Il modello di attore è talvolta menzionato come un modello computazionale più potente rispetto alle macchine di Turing (non in ciò che può calcolare, ma in …

8 terminology computability reference-request programming-languages computation-models

3

Gli insiemi di codifiche di una classe di lingue non banale che contiene l'insieme vuoto possono essere enumerabili ricorsivamente?

Permettere CCC essere un insieme non banale di lingue ricorsivamente enumerabili (∅⊊C⊊RE∅ ⊊ C⊊ R E\emptyset \subsetneq C \subsetneq \mathrm{RE}) e lascia che sia l'insieme di codifiche delle macchine di Turing che riconoscono un linguaggio in :LLLCCCL={⟨M⟩|L(M)∈C}L = { ⟨ M⟩ ∣ L ( M) ∈ C}L=\{\langle M \rangle \mid …

8 computability turing-machines

Domande taggate «computability»