Preguntas etiquetadas con computation-models

Deje una cadena de entrada como . Luego, si un NFA se encuentra actualmente en el estado r (y ha leído la entrada hasta el alfabeto w i ), antes de leer el siguiente símbolo de entrada, el NFA se divide en dos NFA, uno en el estado r y …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Que yo sepa, no existe un algoritmo de peor caso que resuelva el siguiente problema:O ( n )O(norte)O(n) Dada una secuencia de longitud consiste en enteros finitos, encuentre la permutación donde cada elemento es menor o igual que su sucesor.nortenorten ¿Pero hay una prueba de que no existe, en el …

9 complexity-theory  sorting  computation-models  lower-bounds 

Este es un seguimiento de otra pregunta aquí , y espero que no sea demasiado filosófico. Como señaló Raphael en un comentario sobre mi pregunta anterior, realmente no entiendo la definición de "computable", pero de acuerdo con algunos documentos que leí, la definición tampoco está muy clara cuando se trata …

9 computability  computation-models 

Quisiera citar a Nielsen & Chuang, Computación Cuántica e Información Cuántica, edición del décimo aniversario, página 5 (énfasis mío): Una clase de desafíos para la fuerte tesis de Iglesia-Turing proviene del campo de la computación analógica. En los años posteriores a Turing, muchos equipos diferentes de investigadores han notado que …

9 computation-models  church-turing-thesis 

En una pregunta anterior ¿ Qué es exactamente un algoritmo? , Pregunté si tener un "algoritmo" que devuelve el valor de una función basada en una matriz de valores calculados previamente era un algoritmo. Una de las respuestas que me llamó la atención fue esta: El ejemplo factorial se introduce …

9 turing-machines  computation-models 

En los últimos dos años, construí una computadora mecánica impulsada por canicas e hice un juego con ella. Es similar al antiguo Digi-Comp II, excepto por dos diferencias clave: Las piezas son reposicionables en el tablero. Puede conectar múltiples 'bits' juntos usando engranajes. Cuando uno de estos bits se voltea, …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema de Computer Science Stack Exchange. Cerrado hace 3 años . Las computadoras y los lenguajes de programación tienden a ser deterministas y predecibles. Sin …

8 computation-models 

Estoy tratando de vincular circuitos lógicos combinacionales (computadoras basadas solo en puertas lógicas) con todo lo que aprendí recientemente en Teoría de la Computación. Me preguntaba si los circuitos lógicos combinacionales pueden implementar cálculos de la misma manera que las máquinas de estados finitos. Parecen radicalmente diferentes: Las máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que …

8 terminology  computability  reference-request  programming-languages  computation-models 

Estoy tratando de atacar a TAOCP una vez más, dada la gran pesadez literal de los volúmenes que tengo problemas para comprometerme en serio. En TAOCP 1 Knuth escribe, página 8, conceptos básicos :: Dejar AAAser un conjunto finito de letras. DejarA∗A∗A^* ser el conjunto de todas las cadenas en …

7 formal-languages  turing-machines  computation-models