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,...
Entiendo que las siguientes afirmaciones son ciertas: Dos derivaciones distintas de una cadena en un CFG dado a veces pueden atribuir el mismo árbol de análisis a la cadena. Cuando hay derivaciones de alguna cadena en un CFG dado que atribuyen diferentes árboles de análisis, el CFG es...
Deje que se dé un número . Considere el siguiente lenguaje L n = {nortenn .Lnorte= {w wEl |w ∈ { 0 , 1 }norte}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En palabras, es el conjunto de cadenas de copia de longitud 2 n .LnorteLnL_n2 n2n2n Considere la siguiente función de...
Si hay algunos resultados en la resolución de problemas de idiomas formales utilizando análisis matemáticos, matemáticas continuas. Por ejemplo, resolver el problema de la intersección del no vacío para un lenguaje libre de contexto y un lenguaje
¿Cuál es la proporción de CFG ambiguos a todos los CFG ? Como ambos conjuntos son infinitamente contables, la relación no está bien definida. Pero qué pasa con la densidad asintótica : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n...
Considere una gramática arbitraria sin contexto sobre el alfabeto . A las producciones de esta gramática, agregue dos producciones fijas sin contexto : y . Llame a la gramática resultante que significa " aumentada con las producciones ".{ 0 , 1 , ¯ 0 , ¯ 1 } P ¯ 0 0 → ϵ ¯ 1 1 → ϵ G P G PsolsolG{ 0...
Me gustaría saber por qué para el reconocimiento de lenguajes libres de contexto solo funcionan los autómatas push-down no deterministas (DPA = NPDA). ¿Por qué los autómatas deterministas pushdown (DPDA) no reconocen tales
¿Existen permutaciones y gramática libre de contexto de tamaño polinómico (en ) que describe el lenguaje finito sobre el alfabeto ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ACTUALIZACIÓN: Para una permutación es posible. es la inversión...