Preguntas etiquetadas con regular-languages

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 …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

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 análisis?L …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

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

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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 …

16 regular-languages  context-free  finite-automata  formal-grammars 

No tengo claro el uso de las frases lenguaje "infinito" o lenguaje "finito" en la teoría de computadoras. Creo que la raíz del problema es que un lenguaje como es infinito en el sentido de que puede generar un número infinito (pero contable) de cadenas. Sin embargo, todavía puede ser …

16 formal-languages  terminology  regular-languages 

Recientemente se hizo una pregunta interesante y posteriormente se eliminó. Para un lenguaje normal , su complejidad DFA es el tamaño del DFA mínimo que lo acepta, y su complejidad NFA es el tamaño del NFA mínimo que lo acepta. Es bien sabido que existe una separación exponencial entre las …

15 regular-languages  finite-automata 

¿Existe una caracterización algebraica del número de palabras de una longitud dada en un idioma normal? Wikipedia establece un resultado algo impreciso: Para cualquier lenguaje regular LLL existen constantes λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k y polinomiosp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) tal que para cadannn el númerosL(n)sL(n)s_L(n) de palabras de longitudnnn enLLL satisface la ecuación sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n . No es …

15 formal-languages  regular-languages  word-combinatorics 

Dado un lenguaje , defina el conjunto de longitud de L como el conjunto de longitudes de palabras en L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} ¿Qué conjuntos de enteros pueden ser el …

15 formal-languages  computability  regular-languages  finite-automata 

Dado un alfabeto , ¿cuántos idiomas regulares diferentes puede aceptar un autómata finito no determinista de estados?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Como ejemplo, consideremos . Luego tenemos configuraciones de transición diferentes y configuraciones de estado inicial y final diferentes, por lo que tenemos un límite superior de idiomas diferentes. Sin …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Se sabe que el lenguaje de las palabras que contienen el mismo número de 0 y 1 no es regular, mientras que el lenguaje de las palabras que contienen el mismo número de 001 y 100 es regular ( ver aquí ). Dadas dos palabras , ¿es decidible si el …

14 regular-languages  undecidability 

Me preguntaba cuándo los idiomas que contenían el mismo número de instancias de dos subcadenas serían regulares. Sé que el idioma que contiene el mismo número de 1s y 0s no es regular, pero es un lenguaje como , donde L = { w ∣ número de instancias de la …

14 formal-languages  regular-languages  pumping-lemma 

Mientras realizaba la tarea actual para mis cursos formales de idiomas y autómatas, me quedé atascado en ejercicios que involucran idiomas unarios (espero que sea el término correcto), es decir, idiomas que se basan en una sola letra. Sin embargo, no quiero preguntar sobre los ejercicios específicos, sino sobre una …

13 formal-languages  regular-languages 

Deje que el lenguaje sea ​​regular.L ⊆ Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Una factorización de es un par máximo ( X , Y ) de conjuntos de palabras conLL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} ,X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y donde | x ∈ X , y ∈ Y } …

13 algorithms  regular-languages  optimization 

LLL es un lenguaje regular sobre el alfabeto . El cociente izquierdo de respecto a w \ in \ Sigma ^ * es el lenguaje w ^ {- 1} L: = \ {v \ mid wv \ en L \}Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in …

13 formal-languages  regular-languages  closure-properties 

Realmente me encantaría tu ayuda con lo siguiente: Para cualquier fijo L2L2L_2, necesito decidir si hay un cierre bajo los siguientes operadores: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Las opciones relevantes son: Los idiomas regulares …

13 formal-languages  regular-languages  closure-properties