Scienza del computer turing-completeness

6

Esistono criteri minimi per un linguaggio di programmazione completo di Turing?

Esiste un insieme di costrutti del linguaggio di programmazione in un linguaggio di programmazione per essere considerato Turing completo? Da quello che posso dire da Wikipedia , la lingua deve supportare la ricorsione o, a quanto pare, deve essere in grado di funzionare senza fermarsi. È tutto quello che c'è …

55 computability programming-languages turing-machines turing-completeness

9

Perché alcuni linguaggi di programmazione di Turing sono completi ma mancano alcune abilità di altri linguaggi?

Mi sono imbattuto in uno strano problema durante la scrittura di un interprete che (dovrebbe) agganciarsi a programmi / funzioni esterni: le funzioni in 'C' e 'C ++' non possono agganciare funzioni variadiche , ad esempio non riesco a creare una funzione che chiama 'printf' con gli stessi argomenti esatti …

42 computability programming-languages turing-completeness

9

C è in realtà Turing completo?

Stavo cercando di spiegare a qualcuno che C è completo di Turing e mi sono reso conto che in realtà non so se tecnicamente sia completo di Turing. (C come nella semantica astratta, non come in un'implementazione effettiva.) La risposta "ovvia" (approssimativamente: può indirizzare una quantità arbitraria di memoria, quindi …

40 computability turing-completeness c

5

Cosa significa essere Turing completo?

Vedo che la maggior parte delle definizioni di ciò che deve essere completo di Turing sono tautologiche in una certa misura. Ad esempio, se Google "cosa significa essere Turing completo", ottieni: Un computer è Turing completo se può risolvere qualsiasi problema che una macchina Turing può ... Sebbene sia ben …

34 turing-machines turing-completeness

5

Le lingue normali possono essere complete di Turing?

Stavo leggendo di Iota e Jot e ho trovato questa sezione confusa: A differenza di Iota, in cui l'albero sintattico di una stringa può diramarsi a sinistra oa destra, la sintassi di Jot è uniformemente ramificata a sinistra. Di conseguenza, Iota è strettamente privo di contesto, ma Jot è un …

32 regular-languages programming-languages turing-completeness

7

Tutte le lingue complete sono intercambiabili

Nota, mentre so programmare, sono abbastanza principiante alla teoria CS. Secondo questa risposta La completezza di Turing è un concetto astratto di calcolabilità. Se una lingua è Turing completa, allora è in grado di fare qualsiasi calcolo che può fare qualsiasi altra lingua completa di Turing. E qualsiasi programma scritto …

26 computability programming-languages turing-completeness

1

Un ciclo do-while è sufficiente per la completezza di Turing?

So che, nei linguaggi di programmazione imperativa, un ciclo while-do è sufficiente come costrutto del flusso di controllo per rendere completo il linguaggio Turing (per quanto riguarda il flusso di controllo - ovviamente abbiamo anche bisogno di memoria illimitata e alcuni operatori ...) . L'essenza della mia domanda è: un …

22 programming-languages turing-completeness loops imperative-programming

5

Perché i linguaggi funzionali di Turing sono completi?

Forse la mia comprensione limitata dell'argomento non è corretta, ma questo è quello che ho capito finora: La programmazione funzionale si basa su Lambda Calculus, formulato da Alonzo Church. La programmazione imperativa si basa sul modello della macchina di Turing, realizzato da Alan Turing, studente della Chiesa. Il calcolo Lambda …

22 computability turing-machines programming-languages lambda-calculus turing-completeness

2

Universalità della porta di Toffoli

Per quanto riguarda la porta quantistica di Toffoli : è classicamente universale, e se sì, perché? è quanticamente universale, e perché?

20 quantum-computing circuits turing-completeness

2

Come viene completata la regola 110 Turing?

Ho letto la pagina di Wikipedia per la regola 110 negli automi cellulari e so più o meno come funzionano (un insieme di regole decide dove disegnare il prossimo 1 o 0). Ho appena letto che Turing è completo, ma non riesco nemmeno a capire come si "programmare" nella "regola …

19 computability automata turing-completeness cellular-automata

4

Cosa è richiesto per il calcolo analogico universale?

Quali operazioni devono essere eseguite per eseguire qualsiasi calcolo analogico arbitrario ? Addizione, sottrazione, moltiplicazione e divisione sarebbero sufficienti? Inoltre, qualcuno sa esattamente quali problemi sono trattabili utilizzando il calcolo analogico, ma non con il digitale?

17 computability computation-models turing-completeness

2

Cosa rende PROLOG Turing completo?

So che si può provare che PROLOG è Turing completo costruendo un programma che simula una macchina di Turing come questa: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), …

15 programming-languages turing-completeness logic-programming prolog

2

Collegamento tra cancelli NAND e completezza di Turing

So che le porte NAND possono essere utilizzate per creare circuiti che implementano ogni tabella di verità e che i moderni computer sono costituiti da porte NAND. Qual è il legame teorico tra le porte NAND e la completezza di Turing? Mi sembra che i circuiti di gate NAND siano …

14 turing-machines turing-completeness digital-circuits

1

Esiste un problema completo per la classe di Turing Decidable Problems?

Lingue come sono con riduzioni . È banale vedere che anche ha problemi completi. S. Schmitz [1] considera alcune classi tra e . Presentano problemi completi per queste classi con riduzioni appositamente realizzate.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Ci sono problemi completi per (aka ) relativi a riduzioni più deboli? Le riduzioni di Turing sono …

14 computability reductions turing-completeness recursion-theory

2

Le funzioni di ordine superiore forniscono più potenza alla programmazione funzionale?

Ho fatto una domanda simile su cstheory.SE . Secondo questa risposta su Stackoverflow esiste un algoritmo che su un linguaggio di programmazione funzionale puro non pigro ha una complessità , mentre lo stesso algoritmo nella programmazione imperativa è . L'aggiunta di pigrizia al linguaggio FP renderebbe l'algoritmoΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) . …

13 complexity-theory lambda-calculus functional-programming turing-completeness

Domande taggate «turing-completeness»