Ciencias de la Computación

He buscado un poco en google y me he quedado corto. Me pregunto cuáles son las principales razones para que los científicos informáticos, los programadores, estudien la reescritura de términos y / o la reescritura de gráficos de términos. Por lo que puedo decir, solo ayuda para el razonamiento básico …

12 term-rewriting 

Consideremos el siguiente juego: hay algunos jugadores y una computadora. Cada jugador ingresa un entero positivo y su nombre (el jugador no conoce los números de otro, solo el suyo). Cuando todos los jugadores hicieron sus movimientos, la computadora emite un nombre de ganador, que presentó el número único más …

12 game-theory  randomness 

Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más grande. …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Si no es así, ¿qué significa cuando para algún estado qqq y algún símbolo unaaa , δ( q, Un )δ(q,a)\delta(q, a) no existe?

12 terminology  automata  finite-automata 

Estaba leyendo una respuesta a una pregunta reciente, y una especie de pensamiento extraño y efímero vino a mi mente. Si pregunto esto, podría traicionar que mis habilidades teóricas faltan seriamente (en su mayoría ciertas) o que es demasiado pronto para que yo lea este sitio. Ahora, con el descargo …

12 turing-machines  undecidability  halting-problem 

Tengo la siguiente pregunta, pero no tengo respuesta para esto. Agradecería si mi método es correcto: P. Cuando se busca el valor clave 60 en un árbol de búsqueda binario, los nodos que contienen los valores clave 10, 20, 40, 50, 70, 80, 90 se atraviesan, no necesariamente en el …

12 data-structures  combinatorics  binary-trees  search-trees  graph-traversal 

Quiero demostrar que el complemento de no es regular usando las propiedades de cierre.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Entiendo que el lema de bombeo se puede usar para demostrar que no es un lenguaje normal. También entiendo que los idiomas regulares están cerrados bajo la operación de complemento. Sin embargo, …

12 formal-languages  regular-languages  closure-properties 

La siguiente es una duda que encontré al hacer una asignación de inicio del sistema operativo; sin embargo, parece más basada en el concepto que una pregunta de codificación directa, por lo que en mi humilde opinión, no creo que la etiqueta de tarea sea adecuada para esto. En un …

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

Soy nuevo en el aprendizaje automático. He leído varios documentos en los que han empleado el aprendizaje profundo para diversas aplicaciones y han usado el término "previo" en la mayoría de los casos de diseño de modelos, digamos anterior en la estimación de la postura del cuerpo humano. ¿Alguien puede …

12 terminology  machine-learning  pattern-recognition  bayesian-statistics 

Hay muchos detalles sobre los cargadores de anticipación como Kogge-Stone, Lander-Fischer, etc. en los cursos universitarios de CS. Se describen como "comunes en la industria". Sin embargo, no puedo encontrar ninguna evidencia (aparte de quizás la cadena de transporte de Manchester) de los últimos tiempos de que realmente se usen …

12 computer-architecture 

¿Qué significa cuando decimos que un algoritmo es asintóticamente más eficiente que ?YXXXYYY XXX será una mejor opción para todas las entradas. XXX será una mejor opción para todas las entradas, excepto las entradas pequeñas. XXX será una mejor opción para todas las entradas, excepto las entradas grandes. YYY será …

12 algorithms  algorithm-analysis  terminology  asymptotics 

Me pregunto esto basado en varios lugares en línea que llaman a co- un problema abierto importante ... pero no puedo encontrar ninguna indicación de si esto es lo mismo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Esta es una pregunta del Libro del Dragón. Esta es la gramática: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa B → εA→εA→εA \to \varepsilon B→εB→εB \to \varepsilon La pregunta pregunta cómo mostrar que es LL (1) pero no SLR (1). Para demostrar que es LL (1), intenté construir su tabla de análisis, …

12 formal-grammars  compilers  parsers 

¿Qué diferencias hay entre las máquinas de Turing deterministas y no deterministas? Modelos diferentes pero equivalentes de NDTM. En particular, ¿cuál es esta frase de uso frecuente "adivinanza no determinista"? Cómo usarlo correctamente y ejemplos de uso incorrecto. Mi objetivo es crear una pregunta de referencia.

12 turing-machines  nondeterminism 

El ésimo número de Fibonacci se puede calcular en tiempo lineal utilizando la siguiente recurrencia:nortenn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i El ésimo número de Fibonacci también puede calcularse como [ φ n / √nortenn. Sin embargo, esto …

11 algorithms  time-complexity  recurrence-relation