Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estado: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas...
Las puertas lógicas son un dispositivo abstracto que se puede implementar con relés electromagnéticos, tubos de vacío o transistores. Estas implementaciones han tenido éxito en la computación en parte debido a varias propiedades de encadenabilidad, durabilidad y tamaño más allá de su estabilidad...
¿Existe una caracterización algebraica del número de palabras de una longitud dada en un idioma normal? Wikipedia establece un resultado algo impreciso: Para cualquier lenguaje regular LLL existen constantes λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k y
Una vez tuve un veterano en mi curso que creó un algoritmo que sugería recetas de cocina. Al principio, saldrían todo tipo de recetas locas. Luego, ella entrenaría el algoritmo de cocina con recetas reales y eventualmente sugeriría muy buenas. Creo que ella usó algo relacionado con el Teorema de...
Desafortunadamente, todavía no soy tan fuerte en entender el algoritmo de línea de barrido . Todos los documentos y libros de texto sobre el tema ya se leen, sin embargo, la comprensión aún está muy lejos. Solo para aclararlo, trato de resolver tantos ejercicios como pueda. Pero, las tareas...
Tengo un árbol (en el sentido de la teoría de grafos), como el siguiente ejemplo: Este es un árbol dirigido con un nodo inicial (la raíz) y muchos nodos finales (las hojas). Cada uno de los bordes tiene una longitud asignada. Mi pregunta es, ¿cómo encontrar el camino más largo que comienza en...
Hice esta pregunta en stackoverflow genérico y fui dirigido aquí. Será genial si alguien puede explicar cómo abordar los problemas de gráficos parciales o totalmente dinámicos en general. Por ejemplo: Encuentre la ruta más corta entre dos vértices en un gráfico ponderado no dirigido para n...
Con referencia a características en lenguajes como ruby (y javascript), que permiten a un programador extender / anular clases en cualquier momento después de definirlo (incluidas clases como String), es teóricamente factible diseñar un lenguaje que permita que los programas se extiendan más...
Cuando era estudiante, vi un problema en un libro de texto de diseño de sistemas / lógica digital, sobre N soldados parados en una fila, y quería disparar al mismo tiempo. Una versión más difícil del problema fue que los soldados se paran en una red general en lugar de una fila. Estoy seguro de que...
Estoy tratando de encontrar un límite para la siguiente ecuación de recurrencia:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Me imagino que el teorema maestro es inapropiado debido a la cantidad diferente de subproblemas y...
¿Hay propiedades indecidibles de autómatas lineales delimitados (evitando el truco del lenguaje de conjunto vacío)? ¿Qué pasa con un autómata finito determinista? (Deje de lado la intratabilidad). Me gustaría obtener un ejemplo (si es posible) de un problema indecidible que se define sin utilizar...
Cuando comparamos la complejidad de dos algoritmos, generalmente ocurre que o (posiblemente ambos), donde y son los tiempos de ejecución (por ejemplo) de los dos algoritmos.f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))sol( n ) = O ( f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg Este es siempre el caso? Es decir,...
El algoritmo de minimización de DFA de Brzozowski crea un DFA mínimo para DFA GGG de la siguiente manera: invirtiendo todos los bordes en GGG , haciendo que el estado inicial sea un estado de aceptación, y los estados de aceptación iniciales, para obtener un NFA N′N′N' para el lenguaje...
Estoy trabajando en un compilador para un lenguaje concatenante y me gustaría agregar soporte de inferencia de tipos. Entiendo Hindley-Milner, pero he estado aprendiendo la teoría de tipos a medida que avanzo, así que no estoy seguro de cómo adaptarla. ¿El siguiente sistema es sólido y...
Estoy usando una computadora digital para escribir este mensaje. Tal máquina tiene una propiedad que, si lo piensa, es realmente notable: es una máquina que, si se programa adecuadamente, puede realizar cualquier cálculo posible . Por supuesto, las máquinas de calcular de un tipo u otro vuelven a...
Soy asistente de pruebas de autoaprendizaje y decidí comenzar con algunas pruebas básicas y progresar. Como las pruebas se basan en otras pruebas y, por lo tanto, forman una jerarquía, ¿existe un depósito de la jerarquía de pruebas? Sé que puedo elegir un asistente de pruebas en particular y...
Dado un conjunto de conjuntos, me gustaría encontrar un conjunto de tal manera que cada conjunto en contiene al menos un elemento de . También me gustaría que contenga la menor cantidad posible de elementos sin dejar de cumplir este criterio, aunque puede existir más de una más pequeña con esta...
Sea A reducible a B, es decir, . Por lo tanto, la máquina de Turing aceptar tiene acceso a un oráculo de . Deje que la máquina de Turing que acepta sea y el oráculo para sea . Los tipos de reducciones:A B A M A B O BA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Reducción de Turing: puede realizar...
En una conferencia, un profesor mencionó que las computadoras modernas no tienen tanta potencia computacional como una máquina de Turing porque no tienen memoria infinita, y dado que ninguna computadora puede tener memoria infinita, la máquina de Turing es inalcanzable y simplemente representa el...
Estoy tratando de derivar el artículo clásico en el título solo por medios elementales (sin funciones generadoras, sin análisis complejo, sin análisis de Fourier) aunque con mucha menos precisión. En resumen, "solo" quiero demostrar que la altura promedio hnhnh_n de un árbol con nnn nodos (es...