turing-complete

9calore

7risposta

La ramificazione condizionale è un requisito della completezza di Turing?

Ho cercato sul web e trovo risposte un po 'contraddittorie. Alcune fonti affermano che una lingua/macchina/cosa-hai-tu è Turing completa se e solo se ha entrambe le diramazioni condizionali e incondiz

5calore

2risposta

Esiste un linguaggio di programmazione che ha solo il potere di un automa push-down deterministico, e non di più?

Alcuni problemi di programmazione non richiedono la piena potenza di una macchina di Turing da risolvere. Possono essere risolti con molta meno energia. Sto cercando un linguaggio di programmazione co

8calore

2risposta

Completezza di lambda del calcolo lambda?

Come si sostiene il fatto che il calcolo lambda è completo di Turing (nel modo più semplice possibile)?

50calore

2risposta

Il sistema di tipi in Scala è completato da Turing. Prova? Esempio? Benefici?

Ci sono affermazioni che il sistema di tipi di Scala sia completato da Turing. Le mie domande sono: Esiste una prova formale per questo? Come apparirebbe un semplice calcolo nel sistema di tipi Scala?

18calore

2risposta

Quali sono le sei primitive di base in Turing Complete

Sto ascoltando la lezione edX e il professore sottolinea che ogni macchina in grado di eseguire questi sei primitivi di base può essere chiamata Turing Complete. Ma quali sono i sei primitivi di base?

24calore

1risposta

Quale proprietà del sistema di tipi Scala lo rende Turing-completo?

Scala utilizza un sistema di tipi basato su Sistema F ω, che normalmente si dice che sia fortemente normalizzante. La forte normalizzazione implica la non completezza di Turing. Tuttavia, il sistema d

21calore

1risposta

Qual è il motivo di un sistema di tipo completo di Turing

Scala e Haskell hanno "Sistemi di tipo completo di Turing". Solitamente, la completezza di Turing si riferisce a computations and languages. Cosa significa veramente nel contesto dei tipi? Qualcuno po

5calore

2risposta

Set completo di istruzioni alfanumeriche x86 di Turing (sottoinsieme)

Sto cercando di creare un sottoinsieme minimo universale di opcode alfanumerici x86. Alla fine voglio che il sottoinsieme contenga il minor numero possibile di istruzioni, e se ci sono più sottoinsiem

5calore

2risposta

Il preprocessore C++ metaprogrammazione Turing-complete?

So che la metaprogrammazione del modello C++ è completa con Turing. La stessa cosa vale per la metaprogrammazione del preprocessore?

19calore

4risposta

Qualcuno può spiegare la regola 110 nel modo più semplice possibile?

Non riesco a spiegarmi che cosa the Wikipedia article o the answer here dire. Qualcuno può spiegare la regola 110 in termini semplici? Come garantisce la completezza di Turing?