halting-problem

7calore

2risposta

Test automatico e deterministico di una funzione per associatività, commutatività, ecc.

E 'possibile costruire una funzione di ordine superiore isAssociative che prende un'altra funzione di due argomenti e determina se tale funzione è associativa? Domanda simile ma per altre proprietà co

haskell higher-order-functions halting-problem associativity commutativity 2011-12-28

---

22calore

6risposta

iPhone + UITableView + fila altezza

io pongo l'altezza della riga della mia UITableView usando seguente codice [tableView setRowHeight: 100.00]; Sto usando la linea unica come separatore nella UITableView. Se si imposta l'altezza sopr

iphone uitableview height row halting-problem 2009-10-28

---

8calore

4risposta

"Trovare tutto il codice in un dato binario equivale al problema di interruzione." Veramente?

appena letto the highly voted question regarding Emulators e la dichiarazione E 'stato dimostrato che trovare tutto il codice in un dato binario è equivalente al problema della terminazione. Davvero s

computer-science emulation halting-problem p-np 2011-03-14

---

12calore

8risposta

Tutte le espressioni regolari si fermano?

Esiste un'espressione regolare che, per qualche stringa di input, cercherà una corrispondenza per sempre?

regex halting-problem 2009-08-06

---