Preguntas etiquetadas con formal-languages

Encontré este problema que implica manipular un lenguaje sin contexto. Deje que sea ​​un lenguaje sin contexto. Defina para cada . ¿ siempre está libre de contexto? Mi conjetura es que preservará la libertad de contexto. ¿Alguien puede proporcionar una prueba elemental de esto?L # = { x : x …

9 formal-languages  context-free 

Hice mi examen de teoría de la computación hace unas semanas, y esta fue una de las preguntas: Asumir lenguajeL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} ¿L es regular? En caso afirmativo, proporcione una expresión regular o un autómata para ello. Después de preguntarle brevemente la respuesta después del examen, parece que realmente …

9 formal-languages  regular-languages  regular-expressions 

En el artículo Parsing Expressions by Recursive Descent de Theodore Norvell (1999), el autor comienza con la siguiente gramática para expresiones aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" …

9 formal-languages  context-free  formal-grammars  left-recursion 

Dado un lenguaje , ¿cómo puedo decir directamente, sin mirar las reglas de producción, que este lenguaje no es regular?L = { anortesinorteCnorte}L={anbncn} L= \{a^n b^n c^n\} Podría usar el lema de bombeo, pero algunos chicos dicen simplemente mirando la gramática que este no es uno normal. ¿Como es posible?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Me gustaría usar su ayuda con el siguiente problema: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Muestre que .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Sé que para probar , es suficiente encontrar un lenguaje tal que y mostrar que hay una reducción de a .L∉REL∉REL\notin REL′L′L'L′∉REL′∉REL'\notin …

9 formal-languages  computability  context-free  turing-machines 

Estoy atrapado resolviendo el siguiente ejercicio: Argumenta que si tiene contexto y es regular, entonces (es decir, el cociente correcto ) no tiene contexto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL / R = { w ∣ ∃ x ∈ RS tw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

He comenzado a estudiar autómatas no deterministas utilizando el libro de Hopcroft y Ullman . Estoy atrapado en un problema que me pareció muy interesante: Dé un autómata finito no determinista que acepte todas las cadenas que tienen el mismo valor cuando se evalúan de izquierda a derecha como de …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Dado cualquier lenguaje regular infinito , ¿cómo puedo probar que puede dividirse en 2 idiomas regulares infinitos disjuntos ? Esto es: , , y y son ambos tanto infinito y regular.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Hasta ahora, pensé en: usando el lema de bombeo de …

9 formal-languages  regular-languages  finite-automata 

He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal? Como referencia, …

9 formal-languages  terminology  computability  automata  closure-properties 

En nuestro curso de conceptos de lenguaje de programación, nuestro instructor afirmó que está bien que un estado final conduzca a otro estado en un diagrama de estado finito. Pero esto parece ser un concepto fundamentalmente contradictorio. Debido a que un estado final por definición es uno que termina las …

8 formal-languages  graphs  regular-languages  finite-automata 

Considere la secuencia . Parece "regular" de una manera que, por ejemplo, no lo es.s1= ( 1 , 0 , 1 , 0 , ... )s1=(1,0 0,1,0 0,...)s_1 = (1, 0, 1, 0,\dots)s2= ( 1 , 2 , 3 , 4 , ... )s2=(1,2,3,4 4,...)s_2 = (1, 2, 3, 4,\dots) …

8 formal-languages  regular-languages 

Tengo problemas para tratar de determinar si todos los números cuadrados (1, 4, 9, 16, ...) escritos en forma binaria (1, 100, 1001, ...) son un lenguaje regular. Después de algunos intentos de encontrar un patrón común de esos números, descubrí que para cualquier número cuadrado n2n2n^2, n2mod4n2mod4n^2 mod 4o …

8 formal-languages  regular-languages  automata  finite-automata 

Pregunta: ¿Hay algún texto introductorio en lenguaje formal o teoría del lenguaje de programación que discuta cómo aplicarlo al estudio de la notación óptima? En particular, estoy interesado en aprender qué son los lenguajes de pila, los árboles de análisis y los índices, y cómo predecir cuándo un cierto tipo …

8 formal-languages  reference-request  formal-grammars  programming-languages 

En clase, nuestro profesor nos mostró 3 métodos para probar la no regularidad: Teorema de Myhill-Nerode Lema de bombeo para idiomas regulares Prueba de no regularidad, basada en la complejidad de Kolmogorov Ahora, los dos primeros, el teorema de Myhill-Nerode y el lema de Pumping, lo entendí bien y también …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity