Preguntas etiquetadas con context-free

Aprendimos sobre la clase de lenguajes libres de contexto . Se caracteriza tanto por gramáticas libres de contexto como por autómatas pushdown, por lo que es fácil demostrar que un lenguaje determinado no tiene contexto.CFLCFL\mathrm{CFL} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

89 formal-languages  context-free  proof-techniques  reference-question 

Recuerdo haber encontrado la siguiente pregunta sobre un lenguaje que supuestamente no tiene contexto, pero no pude encontrar una prueba del hecho. ¿Acaso he recordado mal la pregunta? De todos modos, aquí está la pregunta: Demuestre que el idioma tiene contexto.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

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 "contexto". ¿Alguien …

30 terminology  context-free  formal-grammars 

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 esto?

29 terminology  context-free  formal-grammars 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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 una gramática libre de …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

¿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 describir como la concatenación de dos palabras de la misma …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

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 …

25 context-free  formal-grammars  proof-techniques  ambiguity 

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 qué algoritmo en las producciones …

22 automata  context-free  pushdown-automata 

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 importa el poder del modelo si consideramos máquinas …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

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 

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 a la derecha), entonces …

19 formal-languages  context-free  formal-grammars 

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

18 context-free  automata  formal-grammars 

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

18 algorithms  formal-languages  context-free  decision-problem 

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 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Supongo que necesito aprovechar la naturaleza …

16 formal-languages  automata  context-free  pushdown-automata