Preguntas etiquetadas con formal-languages

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 …

14 formal-languages  context-free  formal-grammars 

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 

Estaba pensando en gramáticas para lenguajes sensibles a la indendación y parece que las gramáticas CF funcionarían si se combinaran con parámetros. Como ejemplo, considere este fragmento para la gramática simplificada de Python en formato ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's …

13 formal-languages  context-free  formal-grammars  parsers 

Estoy estudiando lenguajes formales y sistemas de bases de producción (sistemas de bases de reglas) y estoy un poco confundido acerca de por qué estas dos palabras "producción" y "regla" significan lo mismo en tantos contextos en informática. En inglés no parecen significar lo mismo. No soy hablante nativo de …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

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 

Sin embargo, muchos problemas indecidibles "famosos" son al menos semidecidibles, y su complemento es indecidible. Un ejemplo sobre todo puede ser el problema de detención y su complemento. Sin embargo, ¿alguien puede darme un ejemplo en el que tanto un problema como su complemento sean indecidibles y no semidecidibles? Pensé …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

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

13 algorithms  formal-languages  encoding-scheme 

¿Hay alguna forma natural o notable de relacionar o vincular grupos matemáticos y lenguajes formales de CS o algún otro concepto central de CS, por ejemplo, máquinas de Turing? Estoy buscando referencias / aplicaciones. Sin embargo, tenga en cuenta que conozco el vínculo entre los semigrupos y los lenguajes CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

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 bien entendido. A ese lenguaje lo llaman "semántica". Los autores …

13 formal-languages  semantics 

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 

Sé que hay lenguajes no regulares, por lo que es regular, pero todos los ejemplos que puedo encontrar son sensibles al contexto pero no están libres de contexto.L∗L∗L^* En caso de que no haya ninguno, ¿cómo lo demuestra?

13 formal-languages  context-free  regular-languages 

Parece que las "Expresiones regulares básicas" según lo definido por POSIX.1-2008 no admiten la alternancia a|b(aunque algunas implementaciones grep reconocen la versión escapada \|). Dado que los lenguajes regulares están cerrados bajo unión por definición, ¿significa esto que POSIX BRE tiene menos poder expresivo que un autómata finito? ¿O hay …

13 formal-languages  regular-expressions 

El problema No hay una manera fácil de obtener una permutación con una expresión regular. Permutación: Obtener una palabra ("aabc") en otro orden, sin cambiar el número o el tipo de letras.w=x1…xnw=x1…xnw=x_1…x_n Regex: expresión regular. Para verificar: "Permutaciones de expresiones regulares sin repetición" La respuesta crea un código JavaScript en …

13 formal-languages  regular-languages  regular-expressions 

Pensé que todos los idiomas regulares podrían expresarse con expresiones regulares (si un idioma es regular, puede expresarse con expresiones regulares), pero me han dicho que necesita las tres operaciones regulares (concatenación, unión y estrella) para eso sostener. Por ejemplo, me han dicho que si solo puedo usar las operaciones …

12 formal-languages  regular-languages  regular-expressions  kleene-star