Hay una multitud de algoritmos que pueden analizar una gramática libre de contexto en tiempo . Usando la multiplicación de matrices, incluso se puede ir asintóticamente más rápido que eso.O ( n3)O(n3)O(n^3) Sin embargo, todos los algoritmos para analizar CFG arbitrarios que conozco tienen un uso...
El método de derivación de Brzozowski es una técnica muy bonita para construir autómatas deterministas a partir de expresiones regulares de una manera muy algebraica. He elaborado algunas generalizaciones lindas de esta técnica para manejar algunas clases más grandes de gramáticas, pero los...
2dca (autómata determinista bidireccional de un contador) (Petersen, 1994) puede reconocer el siguiente lenguaje unario: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} ¿Hay algún otro lenguaje unario no trivial reconocido...
Hace muchos años escuché que calcular el mínimo NFA (autómata finito no determinista) de un DFA (determinista) era una pregunta abierta, en oposición a la dirección inversa que se conoce desde hace décadas y está bien investigada con un eficiente ( n lg n ) algoritmo. ¿Alguien ha ideado un...
Una palabra www se llama primitiva , si no hay una palabra vvv y k > 1, dek>1k > 1 modo que w = v kw=vkw = v^k . El conjunto QQQ de todas las palabras primitivas sobre un alfabeto ΣΣ\Sigma es un lenguaje bien conocido. WLOG podemos elegir Σ = { a , b }Σ={a,b}\Sigma = \{ a,b \} . Un lenguaje...
Una frase de permutación es una extensión de las definiciones de gramática libre de contexto estándar (E) BNF: una frase de permutación contiene n producciones (o, de manera equivalente, no terminales) A 1 a A n{ A1, ... , Anorte}{UN1,...,UNnorte}\{ A_1, \dots, A_n
Según un resultado clásico de Kuroda, la clase de complejidad NSPACE [ ]nortenorten (también conocida como NLIN-SPACE) es precisamente la clase CSL de lenguajes sensibles al contexto . El problema de satisfacción SAT está en NSPACE [ ], ya que una suposición de tamaño lineal para una solución se...
Para un lenguaje L ⊆ Σ ^ * , defina la congruencia sintáctica ≡ de L como la menor congruencia en Σ ^ * que satura L , es decir: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Ahora defina la equivalencia de Nerode como la siguiente congruencia correcta: u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]. Sea [u] la clase...
Me interesan dos preguntas sobre los lenguajes sensibles al contexto (CSL) y la integridad: ¿Existe una noción de integridad para CSL y qué idiomas están completos? ¿Hay CSL naturales que son NP completas? Para 2., ciertamente puedo pensar en lenguajes NP-completos naturales que son CSL (como...
Los autómatas finitos no ambiguos (UFA) son un tipo especial de autómatas finitos no deterministas (NFA). Un NFA se llama inequívoco si cada palabra tiene como máximo una ruta de aceptación.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Esto significa .D FA ⊂ UFA ⊂ NFUNreFUN⊂UFUN⊂norteFUNDFA\subset UFA\subset...
Existe evidencia teórica de que la ingenua construcción de productos cartesianos para la intersección de los DFA es "lo mejor que podemos hacer". ¿Qué pasa con la concatenación de dos DFA? La construcción trivial implica convertir cada DFA en un NFA, agregar una transición épsilon y determinar el...
Me preguntaba si hay una buena bibliografía de intentos de investigar la conjetura de Collatz como una gramática formal. (o cualquier otro intento en la comunidad de CS para lidiar con esta clase de fenómenos generativos y sus propiedades de
Me pregunto, ¿hay algún trabajo o investigación que trate con autómatas visiblemente pushdown, pero que permita que las palabras, en lugar de letras simples, sean empujadas a la pila. Alternativamente, una construcción que permita que los símbolos se presionen en las transiciones ϵϵ\epsilon podría...
Decimos que NFA MMM es constantemente ambiguo si existe k∈Nk∈Nk\in \mathbb{N} tal que cualquier palabra w∈Σ∗w∈Σ∗w\in \Sigma^* sea aceptada por 000 o (exactamente) caminos.kkk Si el autómata es constantemente ambiguo para , entonces se llama FA inequívoca (UFA).k = 1 MMMMk=1k=1k=1MMM Deje que...
La altura de estrella (generalizada) de un idioma es la anidación mínima de estrellas de Kleene requerida para representar el idioma mediante una expresión regular extendida. Recuerde que una expresión regular extendida sobre un alfabeto finito AAA satisface lo siguiente: (1) ∅,1∅,1\emptyset, 1 y...
Antecedentes: Dados dos autómatas finitos deterministas A y B, formamos el producto C dejando que los estados en C sean el producto cartesiano de los estados en A y los estados en B. Luego, elegimos las transiciones, el estado inicial y los estados finales para que el lenguaje sea aceptado por C...
Esta no es necesariamente una pregunta de investigación. Solo una pregunta por curiosidad: Estoy tratando de entender si uno puede definir lenguajes "irreductibles". Como primera suposición, llamo a un idioma L "reducible" si se puede escribir como con y , de lo contrario, llame al idioma...
Se sabe que minimizar el tamaño de una expresión regular es completo para PSPACE, incluso si tenemos un DFA como la especificación del lenguaje . ¿Cuáles son los resultados si el idioma es finito? Uno puede considerar este problema en dos modelos: La entrada es todas las cadenas en el idioma,...
Estoy leyendo " Concatenación de idiomas regulares y complejidad descriptiva " de Galina Jiraskova, 2009 sobre la complejidad del estado resultante de la concatenación de dos idiomas regulares (por Galina Jiraskova), pero no puedo entender cuáles serían las implicaciones prácticas de la complejidad...
Un autómata Xor no determinista (NXA) es sintácticamente un NFA, pero se dice que NXA acepta una palabra si tiene un número impar de rutas de aceptación (en lugar de al menos una ruta de aceptación en el caso de NFA). Es fácil ver que para un lenguaje regular finito , existe un NFA mínimo que no...