Preguntas sobre el conjunto de lenguajes (equivalente) descritos por gramáticas libres de contexto o aceptados por autómatas pushdown (no deterministas).
Hay muchas definiciones en línea sobre lo que es una gramática libre de contexto, pero nada de lo que encuentro satisface mi problema principal: ¿De qué contexto está libre? Para investigar, busqué en Google "gramática sensible al contexto" pero todavía no pude encontrar de qué se trataba el...
He estado estudiando compiladores durante un tiempo, y he estado buscando lo que se entiende por "contexto" en gramática y lo que significa que la gramática esté "libre de contexto", pero sin resultado. Entonces, ¿alguien puede ayudar con
Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando n/2pares de...
Existen muchas técnicas para demostrar que un idioma no está libre de contexto, pero ¿cómo pruebo que un idioma no tiene contexto? ¿Qué técnicas hay para probar esto? Obviamente, una forma es exhibir una gramática libre de contexto para el lenguaje. ¿Existen técnicas sistemáticas para encontrar...
¿El siguiente contexto de lenguaje es gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Como señaló sdcvvc, una palabra en este lenguaje también se puede...
Mi problema es cómo puedo probar que una gramática no es ambigua. Tengo la siguiente gramática: S→ s t a t e m e n t ∣ si e x p r e s s i o n entonces S∣ si e x p r e s s i o n entonces S otra cosa SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if }...
Dada una gramática G sin contexto, existe un Automatismo N Pushdown no determinista que acepta exactamente el lenguaje que G acepta. (y viceversa) También puede existir un Automatismo determinista pushdown D que acepta exactamente el lenguaje que G acepta también. Depende de la gramática. ¿Por...
Cuando se consideran modelos de cómputo de máquinas, la jerarquía de Chomsky normalmente se caracteriza por (en orden), autómatas finitos, autómatas push-down, autómatas lineales y máquinas de Turing. Para el primer y último nivel 1 (lenguajes regulares y lenguajes recursivamente enumerables), no...
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...
Consideremos dos gramáticas libres de contexto y y la siguiente pregunta: ¿Es , es decir, son las dos gramáticas equivalentes?sol1G1G_1sol2G2G_2L ( G1) = L ( G2)L(G1)=L(G2)L(G_1) = L(G_2) En general, este problema es indecidible. Sin embargo, si y son gramáticas lineales a la izquierda (o lineales...
¿Existe un algoritmo / procedimiento sistemático para probar si un lenguaje no tiene contexto? En otras palabras, dado un idioma especificado en forma algebraica (piense en algo como ), pruebe si el idioma está libre de contexto o no . Imagine que estamos escribiendo un servicio web para ayudar a...
¿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\},...
Tenga en cuenta que esta es una pregunta relacionada con el estudio en un curso de CS en una universidad, NO es tarea y se puede encontrar aquí en el examen de otoño de 20112. Aquí están las dos preguntas que estoy viendo en un examen anterior. Parecen estar relacionados, el primero: Dejar...
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...
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...
Entonces, básicamente, L satisface las condiciones del lema de bombeo para los CFL pero no es un CFL (eso es posible de acuerdo con la definición del
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 . Deje SF(G)SF(G)\operatorname{SF}(G) el...
Defina el lenguaje LL como L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . En otras palabras, LL contiene las palabras que no se pueden expresar como alguna palabra repetida dos veces. ¿Es LL contexto o no? He intentado intersectar con a ∗ b ∗ a ∗ b ∗LLa∗b∗a∗b∗a^*b^*a^*b^* ,...
Sé que hay lenguajes no regulares, por lo que es regular, pero todos los ejemplos que puedo encontrar son sensibles al contexto pero no están libres de contexto.L∗L∗L^* En caso de que no haya ninguno, ¿cómo lo
Tengo un problema con este ejercicio: Sea G la siguiente gramática ambigua para el cálculo λ: E → v | λv.E | EE | (E) donde E es el símbolo único no terminal, λv.E representa la abstracción wrt la variable v en E, y EE representa la aplicación. Defina una gramática LL (1) G 'tal que...