Especificar idiomas formales al dar gramáticas formales es una tarea frecuente: necesitamos gramáticas no solo para describir idiomas, sino también para analizarlos, o incluso hacer ciencia adecuada . En todos los casos, es importante que la gramática en cuestión sea correcta , es decir, que genere...
¿Hay algún lenguaje "natural" que sea indecidible? por "natural" me refiero a un lenguaje definido directamente por las propiedades de las cadenas, y no a través de máquinas y su equivalente. En otras palabras, si las miradas del lenguaje como donde M es una MT, DFA (o regular-exp), PDA (o la...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Estoy buscando teorías matemáticas que traten de describir lenguajes formales (conjunto de cadenas) en...
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...
Wikipedia tiene la siguiente definición del lema de bombeo para idiomas regulares ... Deje que sea un lenguaje regular. Entonces existe un número entero ≥ 1 que depende solo de modo que cada cadena en de longitud al menos ( se llama "longitud de bombeo") se puede escribir como = (es decir, se...
Quiero analizar idiomas específicos de dominio definidos por el usuario. Estos lenguajes suelen estar cerca de las notaciones matemáticas (no estoy analizando un lenguaje natural). Los usuarios definen su DSL en una notación BNF, así: expr ::= LiteralInteger | ( expr ) | expr + expr | expr *...
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...
Estoy atrapado en la siguiente pregunta: "Los lenguajes regulares son precisamente los aceptados por autómatas finitos. Dado este hecho, demuestre que si el lenguaje es aceptado por algún autómata finito, entonces también es aceptado por algún finito; consiste en todas las palabras de invertido...
Estoy tratando de usar el lema de bombeo para demostrar que no es regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Esto es lo que tengo hasta ahora: suponga que es regular y deje que p sea la longitud de bombeo, entonces w = ( 01 ) p 2 p . Considere cualquier descomposición...
Dejar L = { anorte∣ ∃p ≥ n pag, p + 2 son primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. ¿ es regular?LLL Esta pregunta parecía sospechosa a primera vista y me di cuenta de que está relacionada con la conjetura del primo gemelo ....
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...
¿Es una máquina de Turing sin la capacidad de escribir en celdas en blanco menos potente que Turing estándar? Creo que la respuesta es sí, pero no puedo encontrar un cálculo que la máquina estándar de Turing pueda hacer, pero esta máquina no. ¿Algunas
¿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...
Ajuste: expresiones regulares con referencias lenguaje unario (alfabeto de 1 símbolo) ¿Se puede resolver el siguiente problema en esta configuración: Dada una expresión regular con referencias inversas, ¿define un lenguaje regular? Por ejemplo, (aa+)\1define un lenguaje regular, mientras...
Dado un lenguaje regular , entonces es fácil demostrar que hay una constante tal que es , con existen cadenas , y manera que y , y para todo esLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N|β|≠ϵ|β|≠ϵ\lvert \beta \rvert...
Hay muchos (y quiero decir muchos) idiomas contables que son decidibles por Turing. ¿Puede cualquier lenguaje incontable ser Turing
Según Wikipedia , para cualquier lenguaje regular existen constantes y polinomios modo que para cada el número de palabras de longitud en satisface la
Dados los idiomas AAA y BBB , digamos que su concatenación ABABAB es inequívoca si para todas las palabras w∈ABw∈ABw \in AB , hay exactamente una descomposición w=abw=abw = ab con a∈Aa∈Aa \in A y b∈Bb∈Bb \in B , y de lo contrario es ambigua . (No sé si hay un término establecido para esta...
Si tengo una gramática de tipo 3, se puede representar en un autómata pushdown (sin realizar ninguna operación en la pila) para poder representar expresiones regulares utilizando lenguajes libres de contexto. Pero, ¿puedo saber si una gramática de tipo 3 es , , , etc. sin construir tablas de...
Un autómata finito determinista (DFA) es un modelo de máquina de estados capaz de aceptar todos los lenguajes regulares. Los DFA se pueden definir (y generalmente se definen) de tal manera que cada estado debe proporcionar alguna transición para todos los elementos del alfabeto de entrada; en otras...