Resultados de la búsqueda a petición "halting-problem"
¿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 ...
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 - ...
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...
¿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 ...