Ciencias de la Computación

¿Es la tarea del software (sistema operativo) detectar desbordamientos de pila o se detecta un desbordamiento de pila en el hardware, causando una excepción en la CPU?

26 computer-architecture  stacks 

La mayoría de nosotros conocemos la correspondencia entre la lógica combinatoria y el cálculo lambda . Pero nunca he visto (tal vez no he mirado lo suficientemente profundo) el equivalente de "combinadores mecanografiados", correspondiente al cálculo lambda simplemente mecanografiado. ¿Existe tal cosa? ¿Dónde se puede encontrar información al respecto?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Esta pregunta fue inspirada por un comentario en StackOverflow . Además de conocer los problemas NP-completos del libro de Garey Johnson, y muchos otros; ¿Existe una regla general para saber si un problema se parece a un NP completo? No busco algo riguroso, sino algo que funcione en la mayoría …

26 complexity-theory  np-complete  intuition 

Estoy aprendiendo el lenguaje de programación Haskell, y estoy tratando de entender cuál es la diferencia entre ay typea kind. Como yo lo entiendo, a kind is a type of type. Por ejemplo, a ford is a type of cary a car is a kind of vehicle. ¿Es esta una …

26 type-theory 

Existen muchas técnicas para demostrar que un idioma no está libre de contexto, pero ¿cómo pruebo que un idioma no tiene contexto? ¿Qué técnicas hay para probar esto? Obviamente, una forma es exhibir una gramática libre de contexto para el lenguaje. ¿Existen técnicas sistemáticas para encontrar una gramática libre de …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

¿El siguiente contexto de lenguaje es gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Como señaló sdcvvc, una palabra en este lenguaje también se puede describir como la concatenación de dos palabras de la misma …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

He escuchado varias veces que para valores suficientemente pequeños de n, O (n) puede considerarse / tratarse como si fuera O (1). Ejemplo : La motivación para hacerlo se basa en la idea incorrecta de que O (1) siempre es mejor que O (lg n), siempre es mejor que O …

26 asymptotics 

Sé que el algoritmo de Euclides es el mejor algoritmo para obtener el GCD (gran divisor común) de una lista de enteros positivos. Pero en la práctica, puede codificar este algoritmo de varias maneras. (En mi caso, decidí usar Java, pero C / C ++ puede ser otra opción). Necesito …

26 algorithms  recursion  arithmetic 

¿Cuándo son algunas instancias (relativamente) básicas (piense en estudiantes de CS de primer año de nivel universitario) cuando uno usaría la recursividad en lugar de solo un bucle?

26 algorithms  recursion 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Se sabe que cada problema de optimización / búsqueda tiene un problema de decisión equivalente. Por ejemplo, el problema del camino más corto Versión de …

26 complexity-theory  optimization  search-problem  decision-problem 

Esta pregunta se migró de Mathematics Stack Exchange porque se puede responder en Computer Science Stack Exchange. Migrado hace 6 años . Dominosa es un juego de rompecabezas relativamente nuevo. Se juega en una grilla . Antes de que comience el juego, los huesos de dominó se colocan en la …

26 complexity-theory  np-hard  board-games  tiling 

Considerando solo el alfabeto , las cadenas que se pueden dar como entrada a las máquinas de Turing son del conjunto Σ ∗ . Pero, ¿tiene sentido que la entrada sea una cadena binaria infinita? Por ejemplo, si una máquina de Turing acepta todas las cadenas que comienzan con un …

26 turing-machines 

Suponiendo que las solicitudes de caché l1 y l2 resultan en una falla, ¿se detiene el procesador hasta que se haya accedido a la memoria principal? Escuché sobre la idea de cambiar a otro hilo, si es así, ¿qué se usa para despertar el hilo estancado?

26 computer-architecture  cpu-cache  cpu-pipelines 

He visto dos definiciones de árboles binarios equilibrados, que me parecen diferentes. Un árbol binario se equilibra si para cada nodo mantiene que el número de nodos internos en el subárbol izquierdo y el número de nodos internos en el subárbol derecho difieren en como máximo 1. Un árbol binario …

26 data-structures  binary-trees 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Creé un simple lexer y analizador de expresiones regulares para tomar una expresión regular y generar su árbol de análisis. Crear un autómata de estado finito no determinista a …

26 automata  finite-automata  regular-expressions