Preguntas etiquetadas con closure-properties

Los lenguajes libres de contexto no están cerrados bajo complemento, lo sabemos. Por lo que yo entiendo, los lenguajes sin contexto que son un subconjunto de a∗b∗un∗si∗a^*b^* para algunas letras a,bun,sia,b están cerrados bajo el complemento (!?) Aquí está mi argumento. Cada lenguaje CF LLL tiene una imagen Parikh semi-lineal …

20 formal-languages  reference-request  context-free  closure-properties 

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 aceptados por tales …

16 formal-languages  automata  closure-properties 

Deje que GGG sea ​​una gramática libre de contexto. Una serie de terminales y no terminales de GGG se dice que es una forma de frase de GGG si se puede obtener mediante la aplicación de las producciones de GGG cero o más veces al símbolo inicial de SSS . …

14 formal-languages  context-free  formal-grammars  closure-properties 

LLL es un lenguaje regular sobre el alfabeto . El cociente izquierdo de respecto a w \ in \ Sigma ^ * es el lenguaje w ^ {- 1} L: = \ {v \ mid wv \ en L \}Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in …

13 formal-languages  regular-languages  closure-properties 

Realmente me encantaría tu ayuda con lo siguiente: Para cualquier fijo L2L2L_2, necesito decidir si hay un cierre bajo los siguientes operadores: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Las opciones relevantes son: Los idiomas regulares …

13 formal-languages  regular-languages  closure-properties 

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 …

12 formal-languages  regular-languages  closure-properties 

Si es regular, ¿se deduce que es regular? AA2A2A^2AAA Mi intento de una prueba: Sí, por contradicción, suponga que no es regular. A continuación, .A 2 = A ⋅ AAAAA2=A⋅AA2=A⋅AA^2 = A \cdot A Dado que la concatenación de dos idiomas no regulares no es regular, no puede ser regular. …

12 formal-languages  regular-languages  closure-properties 

¿Existen idiomas indecidibles tales que su lenguaje de unión / intersección / concatenado sea decidible? ¿Cuál es la interpretación física de tal ejemplo porque, en general, los lenguajes indecidibles no están cerrados bajo estas operaciones? ¿Qué podemos decir sobre el cierre de Kleene? ¿Tenemos ejemplos para ello también? Es decir, …

12 formal-languages  undecidability  closure-properties 

Quiero demostrar que el complemento de no es regular usando las propiedades de cierre.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Entiendo que el lema de bombeo se puede usar para demostrar que no es un lenguaje normal. También entiendo que los idiomas regulares están cerrados bajo la operación de complemento. Sin embargo, …

12 formal-languages  regular-languages  closure-properties 

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 ∣ …

11 formal-languages  context-free  closure-properties 

Deje , L_2 , L_3 , \ dots ser una secuencia infinita de lenguajes libres de contexto, cada uno de los cuales está definido sobre un alfabeto común Σ . Deje que L sea el in fi nito de unión L_1 , L_2 , L_3 , \ dots ; es …

11 formal-languages  context-free  closure-properties 

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 …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

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 el idioma vacío, el idioma …

10 formal-languages  context-free  closure-properties  regular-expressions 

Estoy atrapado resolviendo el siguiente ejercicio: Argumenta que si tiene contexto y es regular, entonces (es decir, el cociente correcto ) no tiene contexto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL / R = { w ∣ ∃ x ∈ RS tw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal? Como referencia, …

9 formal-languages  terminology  computability  automata  closure-properties