Resultados de la búsqueda a petición "halting-problem"
Determinar si una expresión regular es un subconjunto de otro
Tengo una gran colección de expresiones regulares que, cuando coinciden, llaman a un controlador http en particular. Algunas de las expresiones regulares más...
Infinite loops en Java
Mire la siguiente @ infiniwhile loop en Java. Provoca un error en tiempo de compilación para la siguiente declaración. while(true) { System.out.println("inside while"); } System.out.println("while terminated"); //Unreachable statement - ...
¿Idiomas prácticos no completos de Turing?
Casi todos los lenguajes de programación utilizados sonTuring completo [http://en.wikipedia.org/wiki/Turing_Complete], y si bien esto ofrece el lenguaje para representar ...
What exactly is the halting problem?
Cuando las personas preguntan sobre el problema de la detención en lo que respecta a la programación, la gente responde con "Si solo agrega un ciclo, ti...
¿Cómo pueden las instancias indecidibles realmente colgar el compilador?
Para cuando leí por primera vez en seriocrítica a-XUndecidableInstances [https://lukepalmer.wordpress.com/2008/04/08/stop-using-undecidable-instances/], Ya me había acostumbrado por completo, viéndolo simplementeeliminación de una restricción ...