En mi curso de teoría de la computación, muchos de nuestros problemas implican el uso de la inducción en la longitud de la cadena de entrada para probar declaraciones sobre autómatas finitos. Entiendo la inducción matemática, sin embargo, cuando las cuerdas entran en juego, me tropiezo de verdad....
Me pregunto si las unidades de cómputo masivamente paralelas proporcionadas en las tarjetas gráficas hoy en día (una que es programable en OpenCL , por ejemplo) son lo suficientemente buenas como para simular de manera eficiente autómatas celulares 1D (¿o tal vez autómatas celulares 2D?). Si...
He leído la página de Wikipedia para la regla 110 en autómatas celulares, y sé más o menos cómo funcionan (un conjunto de reglas decide dónde dibujar el siguiente 1 o 0). Acabo de leer que están Turing completo, pero ni siquiera puedo entender cómo 'programarías' en la 'regla 110'....
Estoy atrapado en la siguiente pregunta: "Los lenguajes regulares son precisamente los aceptados por autómatas finitos. Dado este hecho, demuestre que si el lenguaje es aceptado por algún autómata finito, entonces también es aceptado por algún finito; consiste en todas las palabras de invertido...
Dejar L = { anorte∣ ∃p ≥ n pag, p + 2 son primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. ¿ es regular?LLL Esta pregunta parecía sospechosa a primera vista y me di cuenta de que está relacionada con la conjetura del primo gemelo ....
La definición principal de Turing machine (TM), al menos en mi propio libro de texto de referencia (Hopcroft + Ullman 1979) es determinista. Por lo tanto, mi propia comprensión del problema de detención es principalmente para TM determinista, aunque soy consciente de que puede considerarse para...
¿Puede una gramática libre de contexto incluir "estados muertos" de un autómata, como G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?sol=({un,si,C},{UN,si,C},{UN→unsi,si→si,si→C,C→CC},UN)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\},...
¿Es una máquina de Turing sin la capacidad de escribir en celdas en blanco menos potente que Turing estándar? Creo que la respuesta es sí, pero no puedo encontrar un cálculo que la máquina estándar de Turing pueda hacer, pero esta máquina no. ¿Algunas
Por ejemplo, cuando consideramos un DFA que permite que las cadenas no tengan subcadenas 00o que 11yo pueda producir los siguientes dos
Un autómata finito determinista (DFA) es un modelo de máquina de estados capaz de aceptar todos los lenguajes regulares. Los DFA se pueden definir (y generalmente se definen) de tal manera que cada estado debe proporcionar alguna transición para todos los elementos del alfabeto de entrada; en otras...
El problema de si dos autómatas pushdown reconocen el mismo idioma es indecidible. El problema de si un autómata pushdown reconoce el idioma vacío es decidible, por lo tanto, también es decidible si reconoce un idioma finito determinado. No se puede determinar si el lenguaje aceptado por un...
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 estados: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas...
Se dice que la intersección de un lenguaje libre de contexto L con un lenguaje regular M siempre está libre de contexto. Entendí la prueba de construcción de productos cruzados, pero todavía no entiendo por qué es libre de contexto pero no regular. El lenguaje generado por tal intersección tiene...
He usado FSM en diseños de circuitos secuenciales digitales. Pero no estoy familiarizado con Autómatas finitos. ¿Alguien puede ayudarme a comprender la diferencia 'básica' entre los dos?
Me pregunto si esto es posible, ya que{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Por lo tanto, un PDA que puede distinguir una palabra del resto de podría aceptarla , lo que me parece contradictorio.w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq...
Las máquinas de mostrador con dos o más contadores suelen ser equivalentes a las máquinas de Turing en cursos sobre teoría de la computación. Sin embargo, no he visto un análisis formal de qué idiomas puede reconocer una máquina de un contador. ¿Son estos lenguajes equivalentes a los lenguajes...
Dado un lenguaje , defina el conjunto de longitud de L como el conjunto de longitudes de palabras en L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} ¿Qué conjuntos de enteros pueden ser el conjunto de longitud de un lenguaje...
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...
¿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...
Recientemente se hizo una pregunta interesante y posteriormente se eliminó. Para un lenguaje normal , su complejidad DFA es el tamaño del DFA mínimo que lo acepta, y su complejidad NFA es el tamaño del NFA mínimo que lo acepta. Es bien sabido que existe una separación exponencial entre las dos...