Preguntas etiquetadas con context-free

Preguntas sobre el conjunto de lenguajes (equivalente) descritos por gramáticas libres de contexto o aceptados por autómatas pushdown (no deterministas).

1
Convertir CFG a PDA
¿Existe algún conjunto de reglas o métodos para convertir cualquier gramática libre de contexto en un autómata push down? Ya encontré algunas diapositivas en línea, pero no pude entenderlas. En la diapositiva 10 habla sobre algunas reglas, ¿alguien podría explicar eso?
1
Prueba de que no es (co) recursivamente enumerable
Me gustaría usar su ayuda con el siguiente problema: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Muestre que .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Sé que para probar , es suficiente encontrar un lenguaje tal que y mostrar que hay una reducción de a .L∉REL∉REL\notin REL′L′L'L′∉REL′∉REL'\notin …
1
Expresividad de las expresiones regulares modernas.
Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …
2
¿Caracterización del estilo Myhill-Nerode de CFL?
Defina la equivalencia de Nerode sobre un idioma como iff para cada .L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vuw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} La equivalencia de Nerode tiene finitamente muchas clases de equivalencia precisamente cuando puede ser reconocido por un autómata de estado finito. Este es el teorema …
1
Es el idioma
Es el idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sin contexto? Supongo que no está libre de contexto porque parece demasiado complicado para que un PDA decida si 2 números son primos o no. …
3
Idiomas sin contexto cerrados bajo inversión
En la clase de esta semana hemos estado aprendiendo sobre las CFL y sus propiedades de cierre. He visto pruebas de unión, intersección y cumplido, pero para la reversión, mi profesor acaba de decir que está cerrado. Quería ver la prueba, así que he estado buscando durante los últimos días, …
1
¿Es este lenguaje libre de contexto?
Es el idioma L = { a , b}∗∖ { (unanortesinorte)norte∣ n ≥ 1 }L={una,si}∗∖{(unanortesinorte)norte∣norte≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sin contexto? Creo que la respuesta es que no es una CFL, pero no puedo probarlo con el lema de Ogden o el lema de Pumping.
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.