Ciencias de la Computación

Dada una gramática G sin contexto, existe un Automatismo N Pushdown no determinista que acepta exactamente el lenguaje que G acepta. (y viceversa) También puede existir un Automatismo determinista pushdown D que acepta exactamente el lenguaje que G acepta también. Depende de la gramática. ¿Por qué algoritmo en las producciones …

22 automata  context-free  pushdown-automata 

Al leer la respuesta de Uday Reddy a ¿Cuál es la relación entre los functores en SML y la teoría de categorías? Estados Uday La teoría de categorías aún no sabe cómo manejar las funciones de orden superior. Algún día lo hará. Como pensaba que la teoría de categorías podía …

22 functional-programming  category-theory 

Una máquina de Turing que vuelve a un estado encontrado anteriormente con su cabeza de lectura / escritura en la misma celda de la misma cinta será atrapada en un bucle. Tal máquina no se detiene. ¿Alguien puede dar un ejemplo de una máquina que nunca se detiene y que …

22 computability  turing-machines  halting-problem 

Sea un gráfico completo, ponderado y no dirigido. Construimos un segundo gráfico agregando bordes uno por uno de a . Añadimos bordes de en total.G=(V,E)G=(V,E)G=(V,E)G′=(V,E′)G′=(V,E′)G'=(V, E')EEEE′E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' Cada vez que agregamos un borde a , consideramos las distancias más cortas entre todos los pares en y . Contamos cuántas de estas …

22 algorithms  graphs  graph-theory  shortest-path 

Especificar idiomas formales al dar gramáticas formales es una tarea frecuente: necesitamos gramáticas no solo para describir idiomas, sino también para analizarlos, o incluso hacer ciencia adecuada . En todos los casos, es importante que la gramática en cuestión sea correcta , es decir, que genere exactamente las palabras deseadas. …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

¿Hay algún lenguaje "natural" que sea indecidible? por "natural" me refiero a un lenguaje definido directamente por las propiedades de las cadenas, y no a través de máquinas y su equivalente. En otras palabras, si las miradas del lenguaje como donde M es una MT, DFA (o regular-exp), PDA (o …

22 formal-languages  automata  computability  undecidability 

Supongamos que P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} . NPINPI\mathsf{NPI} es la clase de problemas en NPNP\mathsf{NP} que no están ni en PP\mathsf{P} ni en NPNP\mathsf{NP} -duros. Puede encontrar una lista de problemas conjeturados como NPINPI\mathsf{NPI} aquí . El teorema de Ladner nos dice que si NP≠PNP≠P\mathsf{NP}\neq\mathsf{P} hay una jerarquía infinita de problemas …

22 complexity-theory  np-hard 

En una pregunta anterior , había una definición de árboles con peso equilibrado y una pregunta sobre árboles rojo-negros. Esta pregunta es para hacer la misma pregunta, pero para los árboles AVL . La pregunta es, dada la definición de árboles balanceados como en la otra pregunta,μμ\mu ¿Hay algún tal …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

Ha habido mucha publicidad sobre los compiladores JIT para lenguajes como Java, Ruby y Python. ¿En qué se diferencian los compiladores JIT de los compiladores C / C ++, y por qué los compiladores escritos para Java, Ruby o Python se denominan compiladores JIT, mientras que los compiladores C / …

22 compilers 

Entiendo la teoría detrás de las redes bayesianas, y me pregunto qué se necesita para construir una en la práctica. Digamos para este ejemplo, que tengo una red Bayesiana (dirigida) de 100 variables aleatorias discretas; cada variable puede tomar uno de hasta 10 valores. ¿Debo almacenar todos los nodos en …

22 data-structures  machine-learning 

Los algoritmos de clasificación genéricos generalmente toman un conjunto de datos para clasificar y una función de comparación que puede comparar dos elementos individuales. Si el comparador es una relación de orden¹, la salida del algoritmo es una lista / matriz ordenada. Sin embargo, me pregunto qué algoritmos de clasificación …

22 algorithms  randomized-algorithms  sorting 

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 . Estoy buscando teorías matemáticas que traten de describir lenguajes formales (conjunto de cadenas) en general y no solo jerarquías gramaticales.

22 formal-languages  formal-grammars 

Según esta página , el algoritmo de Dijkstra es solo BFS con una cola de prioridad. ¿Es realmente así de simple? Yo creo que no.

22 algorithms  graphs  shortest-path 

Alfabeto fuente: { a , b , c , d, e , f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Alfabeto de código: { 0 , 1 }{0,1}\{0, 1\} a : 0101a:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 re: 000d:000d\colon 000 e : 11e:11e\colon 11 F: 100f:100f\colon 100 Pensé …

21 encoding-scheme 

Los números irracionales como , y tienen una secuencia única y no repetitiva después del punto decimal. Si extraemos el dígitos -ésimo de dichos números (donde es el número de veces que el método se llama) y hacer un número con los dígitos tal como es, no hemos de conseguir …

21 randomized-algorithms  randomness  random-number-generator