Preguntas etiquetadas con regular-languages

Aprendimos sobre la clase de idiomas regulares . Se caracteriza por un concepto cualquiera entre expresiones regulares, autómatas finitos y gramáticas lineales izquierdas, por lo que es fácil mostrar que un lenguaje determinado es regular.REGREG\mathrm{REG} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

76 formal-languages  regular-languages  proof-techniques  reference-question 

Existen muchos métodos para demostrar que un idioma no es regular , pero ¿qué debo hacer para demostrar que un idioma es regular? Por ejemplo, si me dicen que LLL es regular, ¿cómo puedo probar que la siguiente L′L′L' es regular? L′: = { w ∈ L : u v …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

En mi clase, un estudiante preguntó si todos los autómatas finitos podían dibujarse sin cruzar bordes (parece que todos mis ejemplos lo hicieron). Por supuesto, la respuesta es negativa, el autómata obvio para el idioma tiene la estructura de K_5 , el gráfico completo en cinco nodos . Yuval ha …

33 regular-languages  finite-automata  planar-graphs 

Estaba leyendo sobre Iota y Jot y encontré esta sección confusa: A diferencia de Iota, donde el árbol sintáctico para una cadena puede ramificarse tanto a la izquierda como a la derecha, la sintaxis de Jot se ramifica uniformemente a la izquierda. Como resultado, Iota es estrictamente libre de contexto, …

32 regular-languages  programming-languages  turing-completeness 

Acabo de completar el primer capítulo de Introducción a la teoría de la computación de Michael Sipser que explica los conceptos básicos de los autómatas finitos. Él define un lenguaje regular como cualquier cosa que pueda ser descrita por un autómata finito. Pero no pude encontrar dónde explica por qué …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Para un lenguaje regular , deje que sea ​​el número de palabras en de longitud . Usando la forma canónica de Jordan (aplicada a la matriz de transición sin anotaciones de algunos DFA para L ), se puede demostrar que para n suficientemente grande , c_n (L) = \ sum_ …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Aquí hay una conjetura para expresiones regulares: Para la expresión regular , deje que la longitudser el número de símbolos que contiene, ignorando paréntesis y operadores. Ej.| R | El | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 …

25 formal-languages  regular-languages  regular-expressions 

Sabemos que los DFA son equivalentes a los NFA en poder de expresividad; También hay un algoritmo conocido para convertir NFA a DFA (desafortunadamente ahora conozco al inventor de ese algoritmo), que en el peor de los casos nos da estados, si nuestro NFA tenía estados.2S2S2^SSSS Mi pregunta es: ¿qué …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Wikipedia tiene la siguiente definición del lema de bombeo para idiomas regulares ... Deje que sea ​​un lenguaje regular. Entonces existe un número entero ≥ 1 que depende solo de modo que cada cadena en de longitud al menos ( se llama "longitud de bombeo") se puede escribir como = …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Estoy tratando de usar el lema de bombeo para demostrar que no es regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Esto es lo que tengo hasta ahora: suponga que es regular y deje que p sea ​​la longitud de bombeo, entonces w = ( 01 ) p 2 p . …

19 formal-languages  regular-languages  pumping-lemma 

Dejar L = { anorte∣ ∃p ≥ n pag, p + 2 son primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. ¿ es regular?LLL Esta pregunta parecía sospechosa a primera vista y me di cuenta de que está …

19 formal-languages  automata  regular-languages  finite-automata 

Estoy atrapado en la siguiente pregunta: "Los lenguajes regulares son precisamente los aceptados por autómatas finitos. Dado este hecho, demuestre que si el lenguaje es aceptado por algún autómata finito, entonces también es aceptado por algún finito; consiste en todas las palabras de invertido ".LLLLRLRL^{R}LRLRL^{R}LLL

19 formal-languages  regular-languages  automata  finite-automata 

Ajuste: expresiones regulares con referencias lenguaje unario (alfabeto de 1 símbolo) ¿Se puede resolver el siguiente problema en esta configuración: Dada una expresión regular con referencias inversas, ¿define un lenguaje regular? Por ejemplo, (aa+)\1define un lenguaje regular, mientras (aa+)\1+que no. ¿Podemos decidir cuál es el caso? Para concreción, "expresiones regulares …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Hay muchos (y quiero decir muchos) idiomas contables que son decidibles por Turing. ¿Puede cualquier lenguaje incontable ser Turing decidible?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Según Wikipedia , para cualquier lenguaje regular existen constantes y polinomios modo que para cada el número de palabras de longitud en satisface la ecuaciónLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . El lenguaje es regular ( (00) ^ * coincide). s_L (n) = 1 si n es par, y s_L (n) = …

17 formal-languages  regular-languages  combinatorics  word-combinatorics