Ciencias de la Computación

Hasta cierto punto, las CPU están diseñadas teniendo en cuenta el software que la gente escribirá para él, implícita o explícitamente. Me parece que si nos fijamos en el diseño de arquitecturas de conjuntos de instrucciones, son muy "imperativas", en el sentido de que cada instrucción codifica un comando de …

14 computer-architecture  functional-programming 

En una prueba parcial para la preparación de GATE había una pregunta: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Respondí "Terminará para todos los enteros", porque incluso para algunos enteros negativos, terminará como Error de desbordamiento de pila . Pero mi amigo no estuvo de …

14 algorithms  recursion  pseudocode 

Digamos que estamos trabajando con un sistema que tiene 40 bits de dirección física. El espacio total de direcciones físicas (suponiendo que la memoria direccionable por bytes) es bytes, o 1 TiB. Y si las direcciones virtuales tienen 48 bits de longitud, eso significa que hay más direcciones disponibles para …

14 memory-management  virtual-memory  memory-access 

Tengo el problema Demuestre que existe un número real para el que no existe ningún programa que se ejecute infinitamente largo y escriba los dígitos decimales de ese número. Supongo que se puede resolver reduciéndolo al problema de detención, pero no tengo idea de cómo hacerlo. También agradecería enlaces a …

14 algorithms  reductions  halting-problem 

He estado leyendo sobre lenguajes de programación basados ​​en pila, como FORTH y Cat , y parece que dada su naturaleza, solo pueden ejecutar una acción a la vez, independientemente de su paradigma (FORTH es imprescindible mientras que Cat es funcional). Un lenguaje imperativo modificaría la pila, y un lenguaje …

14 concurrency  stacks  evaluation-strategies 

¿Está comprobado que el cálculo cuántico no es mejor para resolver problemas completos de NP que el cálculo clásico o simplemente se cree?

14 np-complete  quantum-computing 

¿Hay alguna técnica para resolver ecuaciones funcionales para funciones desconocidas en el cálculo lambda? Supongamos que tengo la función de identidad definida extensivamente como tal: yox = xIx=xI x = x (es decir, escribiendo una ecuación para el comportamiento esperado de esa función) y ahora quiero resolverlo por haciendo alguna …

14 lambda-calculus 

Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 2 años . En general, los programadores de computadoras que son matemáticos o …

14 mathematical-foundations 

Estoy familiarizado con la idea de la eliminación básica de la recursividad de la cola, donde las funciones que devuelven el resultado directo de una llamada pueden reescribirse como bucles iterativos. foo(...): # ... return foo(...) También entiendo que, como un caso especial, la función aún se puede reescribir si …

14 compilers  recursion  program-optimization  tail-recursion 

En la Introducción a los algoritmos de Cormen et al. , La sección 15.3 Elementos de la programación dinámica explica la memorización de la siguiente manera: Un algoritmo recursivo memorizado mantiene una entrada en una tabla para la solución de cada subproblema. Cada entrada de la tabla inicialmente contiene un …

14 dynamic-programming  search-trees  dictionaries  memoization 

Tengo esta pregunta [algo graciosa] en mente. ¿Por qué el autómata finito no determinista se llama no determinista mientras definimos las transiciones para las entradas? Bueno, aunque hay transiciones múltiples y épsilon , están definidas, lo que significa que la máquina es determinista para esas transiciones. Lo que significa que …

14 finite-automata  nondeterminism 

Usualmente uso el símbolo para una cadena vacía (palabra vacía o cadena nula). Pero sé que algunas personas usan λ en lugar de ε .εε\varepsilonλλ\lambdaεε\varepsilon Creo que se deriva de la palabra "Vacío". Sin embargo, no sé cuál es el origen de λ .εε\varepsilonλλ\lambda En la teoría de autómatas, existe …

14 formal-languages  automata  reference-request  notation  history 

Estoy familiarizado con la semántica operativa (tanto pequeños como grandes) para definir lenguajes de programación. También estoy interesado en aprender semántica denotacional, pero no estoy seguro de si valdrá la pena el esfuerzo. ¿Aprenderé el mismo material desde un punto de vista diferente, o hay ideas que solo puedo obtener …

14 semantics  operational-semantics  denotational-semantics 

Tengo un problema algorítmico TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Por ejemplo: Si = [1, 3, 4, 1, 3, 6], entonces puede ser [3, 3, 6] o [3, 4, 6] o [4, 3, 6].STTTSSS En = [7, 5, 1, 1, 7, 4], entonces es [7, 5, 7, 4].STTTSSS He intentado esta función recursiva. …

14 algorithms  optimization  sets 

Acabo de leer ¿Puede este algoritmo seguir considerándose un algoritmo de búsqueda binaria? y recordé que hace unos años escribí un indexador / búsqueda de archivos de registro para encontrar entradas de registro en grandes archivos de texto sin formato por ventana de fecha / hora. Mientras hacía esto, decidí …

14 algorithms  search-algorithms  binary-search