Preguntas etiquetadas con automata-theory

La intersección de dos (mínimos) DFA con n estados se puede calcular utilizando O (n 2 ) tiempo y espacio. Esto es óptimo en general, ya que el DFA resultante (mínimo) puede tener n 2 estados. Sin embargo, si el DFA mínimo resultante tiene estados z, donde z = O …

25 automata-theory  dfa 

Para cualquier lenguaje sobre Σ * , definir L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . En palabras, consiste de todas las para los cuales existe un de igual longitud tal que .LLLΣ∗Σ∗\Sigma^*L1/ 2= …

24 fl.formal-languages  automata-theory 

Deje que sean dos lenguajes regulares dados por NFA M 1 , M 2 como entrada.L1, L2L1,L2L_1,L_2METRO1, M2M1,M2M_1,M_2 Supongamos que nos gustaría verificar si . Esto puede hacerse claramente mediante un algoritmo cuadrático que computa el autómata del producto de M 1 , M 2 , pero me preguntaba si …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Dadas dos cadenas x e y, quiero construir un DFA de tamaño mínimo que acepte x y rechace y. Una forma de hacerlo es la búsqueda de fuerza bruta. Enumera los DFA que comienzan con los más pequeños. Intenta cada DFA hasta que encuentre uno que acepte x y rechace …

23 automata-theory  dfa  fsm 

Para un alfabeto finito fijo , un lenguaje formal sobre es normal si existe un autómata finito determinista (DFA) sobre que acepta exactamente .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Me interesan los idiomas que son "casi" regulares en el sentido de que pueden ser reconocidos por las familias de autómatas de tamaño …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Fijo un lenguaje regular LLL en un alfabeto ΣΣ\Sigma , y considero que el siguiente problema al que llamo programación carta de LLL . Informalmente, la entrada me da nnn letras y un intervalo para cada letra (es decir, una posición mínima y máxima), y mi objetivo es colocar cada …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Es bien sabido que el siguiente problema es PSPACE-complete: Dada la expresión regular , ¿ ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* ¿Qué pasa con la determinación de equivalencia a otras expresiones regulares (fijas) ?αα\alpha Dada la expresión regular , ¿ ?L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

El lema de bombeo para los idiomas regulares se puede probar considerando un autómata de estado finito que reconoce el idioma estudiado, escogiendo una cadena con una longitud mayor que su número de estados y aplicando el principio del casillero. El lema de bombeo para lenguajes libres de contexto (así …

21 fl.formal-languages  automata-theory  proofs  grammars 

Por ejemplo, en los lenguajes de programación es común escribir un compilador / intérprete X-in-X, pero en un nivel más general, muchos sistemas completos de Turing conocidos pueden simularse de formas impresionantes (por ejemplo, simulando el Juego de la vida de Conway en el Juego de la vida de Conway). …

20 computability  automata-theory  turing-machines 

Defina la siguiente clase de idiomas "circulares" sobre un alfabeto finito Sigma. En realidad, el nombre ya existe para denotar una cosa diferente que parece, utilizada en el campo de la computación de ADN. AFAICT, esa es una clase diferente de idiomas. Un lenguaje L es circular si todas las …

20 fl.formal-languages  automata-theory  regular-language 

Me gustaría probar (o refutar) la siguiente conjetura: Conjetura : un autómata de dos contadores (2CA) no puede decidir el siguiente idioma: L = { n ∣L={n∣L = \{ n \mid the ternary y las representaciones binarias de tienen longitud par o longitud impar}nortenn}}\} Un 2CA puede verificar fácilmente si …

19 automata-theory 

Hace poco tuve una discusión sobre las máquinas de Turing cuando me preguntaron: "¿La máquina de Turing se deriva de autómatas o es al revés"? No sabía la respuesta, por supuesto, pero tengo curiosidad por averiguarlo. La máquina de Turing es básicamente una versión un poco más sofisticada de un …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

La pregunta es simple y directa: para un fijo , ¿cuántos idiomas (diferentes) son aceptados por un DFA de tamaño (es decir, estados)? Declararé formalmente esto:nortennnortennnortenn Defina un DFA como , donde todo está como de costumbre y es una función (posiblemente parcial). Necesitamos establecer esto ya que a veces …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Un DFA tiene una palabra de sincronización si hay una cadena que envía cualquier estado del DFA a un solo estado. En 'La conjetura de Cerny para autómatas aperiódicos ”por AN Trahtman (Matemática discreta y ciencias de la computación teórica vol. 9: 2, 2007, pp.3-10), escribió: Cerny conjeturó en 1964 …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

La mayoría de las implementaciones modernas de expresiones regulares, como las de perl o .NET, van más allá de la definición informática clásica de REGEXes con características como mirar hacia adelante y mirar hacia atrás. ¿Estas características les permiten analizar declaraciones que no se pueden describir con un autómata finito …

19 automata-theory  regular-expressions  fl.formal-languages