Let ser un lenguaje, entonces definimos la congruencia sintáctica como u ~ v : ⇔ ∀ x , y ∈ X * : x T y ∈ L ↔ x v y ∈ L y el cociente monoid X * / ~ L es llamado el monoide sintáctica de L .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow...
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq :: a -> b ->...
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} ¿Hay un...
Deje que sea la familia de todos los idiomas más Σ que satisfacen la propiedad de bombeo de lenguajes regulares. A saber: para cada L ∈ L , hay una N ∈ N st cada palabra w ∈ L , | w | > N se puede escribir en la forma w = x y z donde: 1. | y | > 0 , 2. | x y | ≤ N , 3. x y i...
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...
Digamos que tengo un gran bloque de código que ya he lexed y analizado. Supongamos que solo un personaje cambia; Me gustaría actualizar mi análisis, pero dado que la modificación es muy pequeña en comparación con todo, me gustaría saber si es posible no analizar todo nuevamente, pero si hay...
En el capítulo 4 de A Second Course in Automata Theory de Jeffrey Shallit, el siguiente problema aparece como abierto: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ p ( n ) ∣ n ⩾ 0 } {p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}p pp⩽ 1 es .⩽1\leqslant 1 ¿Cuál es su estado ahora (en octubre de...
Considere la siguiente pregunta natural: dado un lenguaje finito , ¿cuál es la gramática libre de contexto más pequeña que genera ?LLLLLL Podemos hacer la pregunta más interesante especificando una secuencia de idiomas , por ejemplo, es el conjunto de todas las permutaciones de : intuitivamente,...
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...
Quiero definir una noción de "cercanía" entre dos idiomas regulares de palabras finitas en Σ∗Σ∗\Sigma^* (y / o palabras infinitas en ΣωΣω\Sigma^\omega ). La idea básica es que queremos que dos idiomas estén cerca si no difieren en muchas palabras. También podríamos usar la distancia de edición de...
¿Qué se sabe sobre la clase de idiomas reconocidos por autómatas finitos que tienen el mismo estado inicial y de aceptación? Este es un subconjunto adecuado de los idiomas regulares (ya que cada idioma contiene la cadena vacía), pero ¿qué tan débil es? ¿Existe una caracterización algebraica...
Después de leer el reciente pregunta "¿Es el complemento de {www∣...}{www∣...}\{ www \mid ...\} Libre de contexto?" ; Recordé un problema similar que no pude refutar: Es L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in...
Digamos que uno tiene un idioma L ⊆ Σ∗L⊆Σ∗L \subseteq \Sigma^* , pero uno no sabe qué cadenas son realmente parte del idioma. Todo lo que uno tiene es una vista finita del lenguaje: un conjunto finito de cadenas A ⊆ LA⊆LA \subseteq L que se sabe que están en el idioma, y un conjunto finito de...
¿Alguien puede proporcionar un ejemplo de dos autómatas no deterministas (NFA) mínimos equivalentes (que reconocen el mismo lenguaje) que no son
Estoy buscando un lenguaje L con las siguientes propiedades: L no debe estar libre de contexto. El complemento de L no debe estar libre de contexto. (Todo lo que ves en los libros de texto como ejemplos principales de lenguajes sin contexto parece fallar en este segundo requisito). No debería ser...
Greibach famoso definido un lenguaje de , la denominada versión no determinista de D 2 , tal que cualquier CFL es una imagen mórfica inversa de H . ¿Existe una declaración similar con DCFL, posiblemente con alguna restricción en los morfismos permitidos?HHHD2D2D_2HHH (Véase, por ejemplo, M....
Los idiomas Dyck se definen mediante la siguiente gramática S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sobre el conjunto de símbolos { ( 1 , ... , ( k , ) 1 , ... , ) k } . Intuitivamente, los idiomas Dyck son los idiomas de paréntesis equilibrados de k tipos diferentes. Por ejemplo,...
Actualmente estoy haciendo una investigación de lenguaje formal que involucra clases de idiomas por encima de Regular pero debajo de Context Free. Estoy viendo cosas como máquinas multicontadores limitados por inversión, máquinas de contador de una sola pila, CFL deterministas, etc. Me pregunto si...
Me mudé a esta pregunta desde StackOverflow donde id obtuvo ninguna respuesta. Tuvimos una pregunta similar si JSON es regular : JSON y XML son llamados frecuentemente para ser lenguajes libres de contexto; ambos se especifican principalmente por una gramática formal en EBNF. Sin embargo, esto...
Probablemente esto sea bastante simple, pero considere el problema estándar de correspondencia posterior: Dado y β 1 , ... , β N , encuentre una secuencia de índices i 1 , ... , i k tal que alpha i 1 ⋯ α i K = β i 1 ⋯ β i K . Esto es, por supuesto, indecidible.α1, ... , αnorteα1,…,αN\alpha_1,...