halting-problem

7El calor

2Respuesta

Probar automáticamente y determinísticamente una función para asociatividad, conmutatividad, etc.

¿Es posible construir una función de orden superior isAssociative que adopta otra función de dos argumentos y determina si esa función es asociativa? Pregunta similar pero para otras propiedades como

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

---

22El calor

6Respuesta

iPhone + + UITableView fila altura

estoy fijando la altura de la fila de mi UITableView siguiente código utilizando [tableView setRowHeight: 100.00]; estoy usando una sola línea como separador en el UITableView. A pesar de establecer

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

---

8El calor

4Respuesta

"Encontrar todo el código en un binario determinado es equivalente al problema de detención". De Verdad?

solo estaba leyendo the highly voted question regarding Emulators y la declaración Se ha demostrado que la búsqueda de todo el código binario en un dado es equivalente a el problema de la parada. Real

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

---

12El calor

8Respuesta

¿Se detienen todas las expresiones regulares?

¿Hay alguna expresión regular que, para algunas cadenas de entrada, busque una coincidencia para siempre?

regex halting-problem 2009-08-06

---