computability

7calore

2risposta

Turing-completezza di una versione modificata di Brainfuck

Is Brainfuck Turing-complete se le celle sono bit e le operazioni + e - semplicemente capovolgono un po '? C'è una semplice dimostrazione che le lingue simili a Brainfuck sono complete di Turing indip

brainfuck computability 2012-12-22

---

5calore

1risposta

Funzione Ackermann contro n loop nested

Sto lavorando a un mio libro sul calcolo (Minksy 1967) e sto attraversando un periodo difficile nel mettere in relazione una funzione ricorsiva con una funzione definita in termini di cicli. Specifica

python computer-science computability 2010-10-24

---

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)?

theory turing-machines turing-complete computability 2012-03-08

---

8calore

1risposta

Quali sono tutte le lingue conosciute che le macchine di Turing non possono accettare?

Per il example, la lingua delle macchine di Turing che non accettano la propria codifica non può essere accettata da alcuna macchina di Turing.

theory turing-machines computability 2012-06-26

---

6calore

1risposta

PI è un numero computabile di turing?

AFAIK, i numeri computabili di turing sono numeri il cui indice i-esimo può essere restituito da una macchina di Turing. Quindi un numero non computabile sarebbe qualcosa come un numero i cui punti de

numbers turing-machines computability 2010-11-09

---