Preguntas etiquetadas con dfa

He estado revisando Theory of Computation por diversión y esta pregunta me ha estado molestando por un tiempo (curioso, nunca lo pensé cuando aprendí Automata Theory en mi licenciatura). Entonces, ¿por qué exactamente estudiamos autómatas finitos deterministas y no deterministas (DFA / NFA)? Así que aquí hay algunas respuestas que …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Después de estudiar autómatas deterministas de estado finito (DFA) en pregrado, sentí que se los comprende muy bien. Mi pregunta es si hay algo que todavía no entendemos acerca de ellos. No me refiero a generalizaciones de DFA, sino a los DFA originales no modificados que estudiamos en pregrado. Esta …

59 soft-question  open-problem  dfa 

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 

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 

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 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Existe evidencia teórica de que la ingenua construcción de productos cartesianos para la intersección de los DFA es "lo mejor que podemos hacer". ¿Qué pasa con la concatenación de dos DFA? La construcción trivial implica convertir cada DFA en un NFA, agregar una transición épsilon y determinar el NFA resultante. …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Hace veinte años, creé un paquete de expresiones regulares que incluía conversiones de expresiones regulares a una máquina de estados finitos (DFA) y soportaba una gran cantidad de operaciones de expresiones regulares cerradas (estrella de Kleene, concatenación, operaciones inversas, de configuración, etc.). No estaba seguro sobre el peor desempeño de …

16 dfa  regular-expressions  bounds 

Antecedentes: Dados dos autómatas finitos deterministas A y B, formamos el producto C dejando que los estados en C sean el producto cartesiano de los estados en A y los estados en B. Luego, elegimos las transiciones, el estado inicial y los estados finales para que el lenguaje sea aceptado …

15 fl.formal-languages  automata-theory  dfa 

Uno de los problemas abiertos interesantes sobre los DFA enumerados en ¿Hay algún problema abierto sobre los DFA? es el tamaño de un DFA requerido para separar dos cadenas de longitud nnn . Tengo curiosidad por saber si hay resultados sobre la capacidad de un DFA aleatorio para separar dos …

15 dfa  random-graphs 

Se sabe que minimizar el tamaño de una expresión regular es completo para PSPACE, incluso si tenemos un DFA como la especificación del lenguaje . ¿Cuáles son los resultados si el idioma es finito? Uno puede considerar este problema en dos modelos: La entrada es todas las cadenas en el …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Tengo un autómata finito no determinista realmente grande y necesito convertirlo al DFA. Por grande me refiero a más de 40 000 estados. Hasta ahora he realizado algunos experimentos y programado el algoritmo predeterminado que busca en la tabla (como se describe aquí ), pero incluso después de la optimización …

12 dfa 

Inspirado por esta pregunta , tengo curiosidad por lo siguiente: ¿Cuál es la complejidad del peor caso de verificar si un DFA determinado acepta el mismo lenguaje que una expresión regular dada? ¿Se sabe esto? La esperanza sería que este problema esté en P, que exista un algoritmo polinomial del …

12 automata-theory  lg.learning  regular-expressions  dfa 

Todos mis libros de texto usan el mismo algoritmo para producir un DFA dado un regex: primero, haga un NFA que reconozca el idioma del regex, luego, usando la construcción del subconjunto (también conocido como "powerset"), convierta el NFA en un DFA equivalente ( opcionalmente minimizando el DFA). También una …

11 automata-theory  regular-expressions  dfa