Perguntas com a marcação «dfa»

Perguntas sobre autômatos finitos determinísticos

11
Qual é a iluminação que devo atingir depois de estudar autômatos finitos?
Estive revisando a Teoria da Computação por diversão e essa pergunta me incomoda há um tempo (engraçado nunca pensei nisso quando aprendi a Teoria dos Autômatos na minha graduação). Então, "por que" exatamente estudamos autômatos finitos determinísticos e não determinísticos (DFA / NFAs)? Então, aqui estão algumas respostas que eu …
10
Ainda existem problemas em aberto nos DFAs?
Depois de estudar autômatos determinísticos de estado finito (DFA) na graduação, senti que eles eram extremamente bem compreendidos. Minha pergunta é se há algo que ainda não entendemos sobre eles. Não quero dizer generalizações de DFAs, mas os DFAs originais não modificados que estudamos na graduação. Essa é uma pergunta …
4
Interseção do DFA no espaço subquadrático?
A interseção de dois (mínimo) DFAs com n estados pode ser calculada usando O (n 2 ) tempo e espaço. Isso é ideal em geral, uma vez que o DFA resultante (mínimo) pode ter n 2 estados. No entanto, se o DFA mínimo resultante tiver estados z, onde z = …
1
Idiomas reconhecidos pelos DFAs de tamanho polinomial
Para um alfabeto finito fixo , uma linguagem formal sobre é regular, se existe um autômato finito determinístico (DFA) sobre que aceita exatamente .ΣΣ\SigmaLeuLΣΣ\SigmaΣΣ\SigmaLeuL Estou interessado em idiomas "quase" regulares no sentido de que podem ser reconhecidos por famílias de tamanho de autômatos que crescem apenas polinomialmente com o comprimento …
1
Qual é o número de idiomas aceitos por um DFA de tamanho
A questão é simples e direta: para um fixo nnn, quantos idiomas (diferentes) são aceitos por um DFA de tamanho nnn (isto é, nnn estados)? Vou declarar formalmente isso: Defina um DFA como (Q,Σ,δ,q0,F)(Q,Σ,δ,q0,F)(Q,\Sigma,\delta,q_0,F) , onde tudo é como de costume e δ:Q×Σ→Qδ:Q×Σ→Q\delta:Q\times\Sigma\to Q é uma função (possivelmente parcial). Precisamos …
5
É possível testar se um número computável é racional ou inteiro?
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …
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 
3
Um autômato finito não determinístico (NDFA) pode ser convertido eficientemente em um autômato finito determinístico (DFA) no espaço / tempo subexponencial?
Vinte anos atrás, criei um pacote de expressões regulares que incluía conversões de expressões regulares em uma máquina de estado finito (DFA) e oferecia suporte a uma série de operações fechadas de expressões regulares (estrela Kleene, concatenação, reversão, operações de conjunto etc.). Eu não tinha certeza do pior desempenho do …
1
Separando palavras com DFAs aleatórios
Um dos problemas em aberto interessantes sobre os DFAs listados em Existe algum problema em aberto sobre os DFAs? é o tamanho de um DFA necessário para separar duas cadeias de comprimento nnn . Estou curioso para saber se existem resultados sobre a capacidade de um DFA aleatório separar duas …
2
Algoritmo para converter NFA muito grande em DFA
Eu tenho um autômato finito não determinístico muito grande e preciso convertê-lo no DFA. Em geral, quero dizer 40.000 estados. Até agora, fiz alguns experimentos e programei o algoritmo padrão que pesquisa na tabela (como descrito aqui ), mas mesmo após a otimização é muito lento e consome muita memória. …
12 dfa 
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.