En la página de Wikipedia para Fixed Point Combinators está escrito el texto bastante misterioso. El combinador Y es un ejemplo de lo que hace que el cálculo Lambda sea inconsistente. Por lo tanto, debe considerarse con sospecha. Sin embargo, es seguro considerar el combinador Y cuando se define...
Consulte el final de esta publicación para obtener algunas aclaraciones sobre las definiciones de los autómatas min-heap. Uno puede imaginarse usando una variedad de estructuras de datos para almacenar información para uso de las máquinas de estado. Por ejemplo, los autómatas push-down almacenan...
Existe este algoritmo estándar para encontrar la ruta más larga en árboles no dirigidos utilizando dos búsquedas de profundidad: Inicie DFS desde un vértice aleatorio y encuentre el vértice más alejado de él; di que es v ′ .vvvv′v′v' Ahora comience un DFS desde para encontrar el vértice más...
Cuando se observa la programación concurrente, se usan comúnmente dos términos, es decir, concurrente y paralelo. Y algunos lenguajes de programación específicamente reclaman soporte para programación paralela, como Java . ¿Esto significa que la programación paralela y concurrente son realmente...
Esta es una pregunta básica, pero estoy pensando que es lo mismo que , ya que el término más grande debería dominar a medida que avanzamos hasta el infinito. Además, eso sería diferente de O (\ min (m, n)) . ¿Está bien? Sigo viendo esta notación, especialmente cuando discuto algoritmos gráficos....
Suponga que soy un programador y que tengo un problema de NP completo que necesito resolver. ¿Qué métodos están disponibles para tratar los problemas de la APN? ¿Hay una encuesta o algo similar sobre este
Me encontré con un problema extraño al escribir un intérprete que (debería) engancharse a programas / funciones externas: las funciones en 'C' y 'C ++' no pueden conectar funciones variadas , por ejemplo, no puedo hacer una función que llame a 'printf' con exactamente los mismos argumentos que...
He estado viendo todo el desbordamiento de la pila, por ejemplo, aquí , aquí , aquí , aquí , aquí y algunos otros que no me importa mencionar, que "cualquier programa que use la recursión puede convertirse en un programa usando solo la iteración". Incluso hubo un hilo muy votado con una respuesta...
En nuestra conferencia sobre sistemas informáticos, nos presentaron el procesador MIPS. Fue (re) desarrollado en el transcurso del término y, de hecho, ha sido bastante fácil de entender. Utiliza un diseño RISC , es decir, sus comandos elementales se codifican regularmente y solo hay unos pocos...
He visto mencionar que los sistemas de tipo dependiente no son infecciosos, pero son comprobables. Me preguntaba si hay una explicación simple de por qué es así, y si existe o no un límite de "dependencia" donde los tipos pueden ser indexados por valores, ¿debajo de qué inferencia de tipos es...
Estoy tratando de entender los algoritmos de Peterson y Dekker que son muy similares y muestran muchas simetrías. Traté de formular los algoritmos en lenguaje informal como sigue: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...
Supongamos la siguiente definición de un árbol rojo-negro: Es un árbol de búsqueda binario. Cada nodo es de color rojo o negro. La raíz es negra. Dos nodos conectados por un borde no pueden ser rojos al mismo tiempo. Aquí debería haber una buena definición de una hoja NIL, como en wiki. La hoja...
En esta respuesta se menciona Un lenguaje normal puede ser reconocido por un autómata finito. Un lenguaje sin contexto requiere una pila, y un lenguaje sensible al contexto requiere dos pilas (lo que equivale a decir que requiere una máquina Turing completa) . Quería saber sobre la verdad de...
Estoy tratando de escribir un corrector ortográfico que debería funcionar con un diccionario bastante grande. Realmente quiero una manera eficiente de indexar los datos de mi diccionario para usarlos usando una distancia Damerau-Levenshtein para determinar qué palabras están más cerca de la palabra...
Voy a estar involucrado con una especie de 'día abierto' en mi universidad en unas pocas semanas. Como parte de este tiempo, a mí (junto con un compañero de trabajo) me dan un montón de estudiantes de secundaria durante dos horas, así como un laboratorio de computación lo suficientemente grande...
Estaba tratando de explicarle a alguien que C es Turing completo, y me di cuenta de que en realidad no sé si es, de hecho, técnicamente Turing completo. (C como en la semántica abstracta, no como en una implementación real). La respuesta "obvia" (más o menos: puede abordar una cantidad arbitraria...
En la teoría de la computabilidad y la complejidad (y quizás en otros campos), las reducciones son ubicuas. Hay muchos tipos, pero el principio sigue siendo el mismo: demuestre que un problema es al menos tan difícil como otro problema al mapear instancias de a soluciones equivalentes en ....
En "Big O", las anotaciones comunes tienen nombres comunes (en lugar de decir, "Oh, de algún factor constante"): O (1) es "constante" O (log n) es "Logarítmico" O (n) es "Lineal" O (n ^ 2) es "Cuadrático" O (n * log n) es ??? ¿Es solo "n log n" o tiene un nombre especial como el...
He sido un nerd informático durante muchos años. Puedo programar en bastantes idiomas e incluso puedo construirlos. El otro día me senté con un amigo y pregunté cómo una computadora realmente toma electricidad y hace algo con ella, y simplemente no pudimos resolverlo, y Google tampoco fue de mucha...
Parece que en este sitio, las personas a menudo corrigen a otros por "algoritmos" y "problemas" confusos. ¿Cuál es la diferencia entre estos? ¿Cómo sé cuándo debería considerar algoritmos y problemas? ¿Y cómo se relacionan con el concepto de lenguaje en la teoría del lenguaje...