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...
Me he encontrado con esa pregunta: "Dé ejemplos de dos idiomas regulares en los que su unión no genere un idioma regular". Esto es bastante impactante para mí porque creo que los idiomas regulares están cerrados bajo unión. Lo que significa para mí que si tomo dos idiomas regulares y los combino,...
¿Cuál de las siguientes afirmaciones es correcta? existen condiciones suficientes y necesarias sobre la regularidad de un idioma pero aún no se han descubierto. No hay una condición suficiente y necesaria sobre la regularidad de un idioma. El lema de bombeo es una condición necesaria para...
Esta pregunta es sobre si cada teorema matemático puede reducirse a la pregunta de si una sola máquina de Turing se detiene. En particular, estoy interesado en conjeturas que actualmente no están probadas. Por ejemplo: Wikipedia dice que actualmente se desconoce si hay números perfectos impares....
Tengo el siguiente idioma { 0yo1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estoy tratando de determinar en qué clase de idioma Chomsky encaja. Puedo ver cómo se podría hacer usando una gramática sensible al contexto, así que sé que al menos es sensible...
Si entiendo correctamente, NFA tiene el mismo poder expresivo que las expresiones regulares. A menudo, leer expresiones regulares equivalentes de NFA es fácil: traduce ciclos a estrellas, uniones como alternativas, etc. Pero qué hacer en este caso: [ fuente ] Los ciclos superpuestos hacen que...
¿Es teóricamente posible especificar un lenguaje de programación para el cual no podría existir una implementación? Un lenguaje de programación es una forma de definir funciones. Una implementación significa un método para ejecutar un programa dado en ese lenguaje en una entrada dada a la salida de...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
Necesito saber bajo qué clase de CFL está cerrada, es decir, qué conjunto es complemento de CFL. Sé que CFL no está cerrado bajo complemento, y sé que P está cerrado bajo complemento. Dado que CFL PI puede decir que el complemento de CFL está incluido en P (¿verdad?). Todavía existe la duda de si...
Minimizar los autómatas finitos deterministas (DFA) es un problema que se ha estudiado a fondo en la literatura, y se han propuesto varios algoritmos para resolver el siguiente problema: Dado un DFA , calcule un DFA mínimo correspondiente que acepte el mismo lenguaje que . La mayoría de estos...
El desplazamiento cíclico (también llamado rotación o conjugación ) de un lenguaje se define como . Según Wikipedia (y aquí ), los lenguajes libres de contexto se cierran bajo esta operación, con referencias a documentos de Oshiba y de Maslov. ¿Hay una prueba fácil de este hecho?{ y x ∣ x y ∈ L...
Esta es una pregunta del libro Dragon (pido disculpas por los errores de traducción, no tengo la versión en inglés a la mano): ¿Qué idioma genera esta gramática? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon No sé qué se supone que debo hacer aquí. La definición...
Me preguntaba, ya que una∗a∗a^* es en sí mismo un lenguaje sin estrellas, ¿existe un lenguaje normal que no sea un idioma sin estrellas? ¿Podrías dar un ejemplo? (de wikipdia ) Lawson define lenguajes sin estrellas como: Se dice que un lenguaje regular no tiene estrellas si puede describirse...
Los lenguajes sin contexto no se cierran bajo complementación. En las conferencias se nos ha dado el mismo argumento que aquí en Wikipedia : para A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈...
¿Existe un algoritmo / procedimiento sistemático para evaluar si un idioma es regular? En otras palabras, dado un idioma especificado en forma algebraica (piense en algo como ), pruebe si el idioma es regular o no. Imagine que estamos escribiendo un servicio web para ayudar a los estudiantes con...
Una expresión regular se define de forma recursiva como para algunos a ∈ Σ es una expresión regular,aaaa∈Σa∈Σa \in \Sigma es una expresión regular,εε\varepsilon es una expresión regular,∅∅\emptyset donde R 1 y R 2 son expresiones regulares es una expresión regular,(R1∪R2)(R1∪R2)(R_1 \cup...
Una forma de ver las expresiones regulares es como una prueba constructiva del siguiente hecho: es posible construir los idiomas regulares comenzando con un pequeño conjunto de idiomas y combinándolos a través de un pequeño conjunto fijo de propiedades de cierre. Específicamente, si comenzamos con...
Estoy trabajando en un ejercicio duro en un libro de texto, y no puedo entender cómo proceder. Aquí está el problema. Supongamos que tenemos el lenguaje L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} donde γγ\gamma es un número irracional. ¿Cómo probaría...
Suponga que es un lenguaje regular sobre un alfabeto ordenado. ¿Se construye el lenguaje tomando cada palabra en y clasificándola siempre como un lenguaje
Sé que los lenguajes que se pueden definir usando expresiones regulares y aquellos reconocibles por DFA / NFA (autómatas finitos) son equivalentes. Tampoco existe DFA para el idioma { 0norte1norteEl | n≥0}{0 0norte1norteEl |norte≥0 0}\{0^n1^n|n \ge 0\} . Pero aún así puede escribirse usando...