Preguntas etiquetadas con dfa

Los transductores considerados aquí son aquellos que Wikipedia llama transductores de estado finito . El comportamiento de un transductor , es decir, la relación que calcula, se escribe : una palabra es una salida para iff .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Pregunta: ¿Se puede resolver el siguiente problema: Dado: Un transductor y un lenguaje …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Estoy interesado en una ligera generalización de DFA. Como de costumbre, tenemos un conjunto de estados QQQ , un alfabeto finito ΣΣ\Sigma , una acción Σ∗Σ∗\Sigma^* definida en QQQ por δ: Q × Σ → Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , y un estado inicial q0 0q0q_0 ; pero en lugar …

10 automata-theory  dfa 

Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de palabras, {0,1} *, nuestras palabras no son lineales, sino que se dan en alguna estructura de árbol. Para evitar que …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Deje que sea ​​un alfabeto de tamaño , y considere los DFA mínimos cuyo tamaño está limitado como máximo por . Supongamos que denota el número de diferentes DFA mínimos de este tipo.2 m f ( m )ΣΣ\Sigma222metrommF( m )f(m)f(m) ¿Podemos encontrar una fórmula de forma cerrada para ?F( m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Estoy interesado en algoritmos eficientes para la intersección de DFA para casos especiales. Es decir, cuando los DFA que se cruzan obedecen una determinada estructura y / o funcionan en un alfabeto limitado. ¿Hay alguna fuente donde pueda encontrar algoritmos en estos casos? Para no hacer que la pregunta sea …

9 automata-theory  time-complexity  dfa 

La conjetura de Cerny es la afirmación de que cualquier autómata de sincronización con nnn estados tiene una palabra de longitud de sincronización como máximo (n−1)2(n−1)2(n-1)^2 . El mejor límite superior actual para la longitud de una palabra de sincronización es O(n3)O(n3)O(n^3) . Digamos que dos estados se fusionan por …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Dado un NFA NnorteN y su DFA equivalente que DreDresulta de la determinación total de NnorteN (usando la construcción del conjunto de potencia, por ejemplo), las siguientes propiedades se mantienen para NnorteN , DreD y para cualquier palabra www : lee w en tiempo de ejecución como máximo O ( …

8 automata-theory  regular-language  nondeterminism  dfa  nfa