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...
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...
Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estados: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas...
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, el primero: Dejar...
Es discutible que la mayoría de los lenguajes creados para describir problemas cotidianos sean sensibles al contexto. Por otro lado, es posible y no difícil encontrar algunos lenguajes que no sean recursivos o incluso no recursivamente enumerables. Entre estos dos tipos se encuentran los lenguajes...
Entonces, básicamente, L satisface las condiciones del lema de bombeo para los CFL pero no es un CFL (eso es posible de acuerdo con la definición del
Deje Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un lenguaje L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* se dice que tiene la propiedad "anti-palíndromo" si para cada cadena www que es un palíndromo, w∉Lw∉Lw\notin L . Además, para cada cadena que no es un palíndromo, o , pero no ambos (!) (Exclusivo o).u ∈ L R e v e r s...
En mi libro de texto se menciona que: ∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\} donde ∅∅\emptyset es un idioma vacío. Sin embargo, sabemos que L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptyset , donde LLL es cualquier lenguaje. No puedo comprender intuitivamente este concepto porque la operación en estrella de...
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 conjunto de longitud de un lenguaje...
Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estado: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas...
¿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
Según el artículo de Wikipedia , la L en significa "exploración de izquierda a derecha", y la "R" significa "derivación más a la derecha". Sin embargo, en el artículo original de Knuth sobre las gramáticas L R ( k ) , define L R ( k ) (en la página 610) como un lenguaje que es "traducible de...
Deje que GGG sea una gramática libre de contexto. Una serie de terminales y no terminales de GGG se dice que es una forma de frase de GGG si se puede obtener mediante la aplicación de las producciones de GGG cero o más veces al símbolo inicial de SSS . Deje SF(G)SF(G)\operatorname{SF}(G) el...
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...
Me pregunto sobre la relación entre la complejidad computacional y la jerarquía de Chomsky, en general. En particular, si sé que algún problema es NP-completo, ¿se deduce que el lenguaje de ese problema no está libre de contexto? Por ejemplo, el problema de la camarilla es NP-completo. ¿Se deduce...
Trato de enseñarme el uso del bisonte. La página de manual bison (1) dice acerca de bison: Genere un analizador determinista LR o generalizado LR (GLR) empleando tablas LALR (1), IELR (1) o analizador canónico LR (1). ¿Qué es un analizador IELR? Todos los artículos relevantes que encontré en...
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 subcadena "001" es igual al número de...
Defina el lenguaje LL como L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . En otras palabras, LL contiene las palabras que no se pueden expresar como alguna palabra repetida dos veces. ¿Es LL contexto o no? He intentado intersectar con a ∗ b ∗ a ∗ b ∗LLa∗b∗a∗b∗a^*b^*a^*b^* ,...
Estoy buscando un algoritmo eficiente para el siguiente problema o una prueba de dureza NP. Sea ΣΣ\Sigma un conjunto y A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) un conjunto de subconjuntos de ΣΣ\Sigma . Encuentre una secuencia w ∈ Σ ∗w∈Σ∗w\in \Sigma^* de menor longitud tal que para cada L ∈...
Hay muchos idiomas populares. Pero, los informáticos nos dicen que para comprender el comportamiento de los programas en esos lenguajes definitivamente y sin ambigüedades argumentan sobre el comportamiento del programa (por ejemplo, demostrar su identidad), necesitamos traducirlos a otro lenguaje...