Preguntas etiquetadas con formal-languages

Cuando miro las pruebas para bombear lema , tengo la sensación de que a menudo me falta la intuición detrás de la condición | xy | ≤ p. ¿Cuál es exactamente la razón detrás de esta condición? Toda la literatura que he echado un vistazo es silenciosa (sin pruebas, sin …

8 formal-languages  regular-languages  pumping-lemma 

Se sabe que existe una propiedad de "bombeo" (las palabras de cierta longitud implican la existencia de bucles en el mecanismo de definición del lenguaje) para los lenguajes regulares y libres de contexto y algunos más (generalmente utilizados para refutar la pertenencia de un idioma a una determinada clase) ) …

8 formal-languages  pumping-lemma  context-sensitive 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la longitud de es impar 1 está en el medio dewww∧∧ \wedge w}w}w\} Entonces el alfabeto es . Mi problema es que no puedo hacer un seguimiento de la igualdad de caracteres antes y después de . Un DFA limitado para la longitud inferior …

8 formal-languages  finite-automata  formal-grammars 

Básicamente, mi pregunta se da en tres idiomas A, B y L, donde L es A y B concatenados juntos y se demuestra que B no es regular, ¿es posible encontrar una A que haga L regular?

8 formal-languages  regular-languages 

Tenemos dos idiomas: . Sabemos que es un lenguaje regular, por lo que mi pregunta es si es regular.L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Trato de encontrar una manera de demostrarlo ... No puedo suponer, por supuesto, que son regulares ... Así que busco una forma de demostrarlo. L1,L2L1,L2L_1,L_2 Me gustaría obtener alguna pista! ¡Gracias!

8 formal-languages  regular-languages  closure-properties 

Quiero preguntar exactamente cuál es la relación entre problemas e idiomas. Sabemos que el conjunto de todos los idiomas incontables. ¿El conjunto de problemas también es incontable? ¿Puede cada problema ser definido por un idioma? ¿Puede un idioma resolver más de un problema y viceversa? ¿Existe una correspondencia uno a …

8 formal-languages 

Según este gráfico , los DCFL se cierran por reversión. Sin embargo, no estoy convencido de que la prueba intuitiva (que invierte las flechas de la máquina de estados finitos de control y cambie los empujes y estallidos) para esto parece depender del no determinismo en la elección de la …

8 formal-languages  context-free  closure-properties  pushdown-automata  nondeterminism 

Dejar METROMETROM ser un NFA acíclico. Ya que METROMETROM es acíclico L ( M)L(METRO)L(M) es finito Podemos calcular El | L(M) |El |L(METRO)El ||L(M)| en tiempo polinomial? Si no, ¿podemos aproximarlo? Tenga en cuenta que el número de palabras no es el mismo que el número de rutas de aceptación …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Deje , donde y para todo .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Por lo tanto, consiste en secuencias de de todas las longitudes, incluida una secuencia de longitud . Deje ser cualquier subconjunto infinito de . Necesito mostrar que siempre existe un DFA …

8 formal-languages  regular-languages  closure-properties 

Como he estudiado, decidir la regularidad de los lenguajes libres de contexto es indecidible. Sin embargo, podemos probar la regularidad utilizando el teorema de Myhill-Nerode que proporciona una condición necesaria y suficiente. Entonces el problema debería ser decidible. ¿Dónde está mi error?

8 formal-languages  computability  regular-languages  undecidability 

He estado intentando durante bastante tiempo encontrar una construcción para poder demostrar formalmente que un PDA determinista está cerrado bajo complementación. Sin embargo, sucede que cada idea que tengo tiene algo que al final no encaja. ¿Me puedes dar una mano? El principal problema ocurre con los movimientos ε . …

8 formal-languages  automata  closure-properties  pushdown-automata 

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 …

8 formal-languages  context-free  pushdown-automata 

Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase particular de autómatas …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Estas diapositivas de la conferencia bosquejan una prueba de queL = {unanortesinorte∣ n ≥ 0 } ∪ {unanortesi2 n| N ≥ 0 }L={unanortesinorte∣norte≥0 0}∪{unanortesi2norte∣norte≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} no puede ser aceptado por ningún autómata determinista pushdown. …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Estoy tratando de entender (intuitivamente) los dos términos "capacidad de decisión" y "capacidad de verificación". He realizado una cantidad razonable de búsqueda y revisión de los diversos textos que puedo tener en mis manos. Sin embargo, su comprensión intuitiva parece escapar de mí, especialmente para el segundo. De las muchas …

8 complexity-theory  formal-languages  terminology  computability