Ciencias de la Computación

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 información en una pila, y las máquinas …

44 formal-languages  automata 

Estoy aprendiendo la prueba de teorema automatizado / solucionadores SMT / asistentes de prueba por mi cuenta y publico una serie de preguntas sobre el proceso, comenzando aquí. Tenga en cuenta que estos temas no se digieren fácilmente sin un fondo en lógicas (matemáticas). Si tiene problemas con los términos …

44 logic  proof-assistants  automated-theorem-proving  coq 

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 diferentes?

44 terminology  parallel-computing  concurrency 

Recuerdo haber encontrado la siguiente pregunta sobre un lenguaje que supuestamente no tiene contexto, pero no pude encontrar una prueba del hecho. ¿Acaso he recordado mal la pregunta? De todos modos, aquí está la pregunta: Demuestre que el idioma tiene contexto.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

Sé que existe una máquina de Turing, si una función es computable. Entonces, cómo mostrar que la función no es computable o que no hay ninguna máquina de Turing para eso. ¿Hay algo como un lema de bombeo?

43 computability  proof-techniques  undecidability  reference-question 

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 tema?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

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 …

42 undecidability  type-theory  type-inference  dependent-types 

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 obtuvo, y …

42 computability  programming-languages  turing-completeness 

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 …

42 computability  recursion  iteration 

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 para mantener los cables …

42 computer-architecture 

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 …

41 data-structures  search-trees  balanced-search-trees 

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 la …

41 computability  turing-machines  automata  pushdown-automata 

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 while(flag[1]==true&&turn==1){ it's your turn I'll …

41 concurrency  synchronization  mutual-exclusion 

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 mal escrita. Estoy buscando una estructura de …

41 data-structures  strings  string-metrics 

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 …

40 terminology  asymptotics