Domande taggate «dfa»

Domande sugli automi finiti deterministici

10
Ci sono ancora problemi aperti sui DFA?
Dopo aver studiato gli automi a stati finiti deterministici (DFA) in undergrad, ho sentito che sono estremamente ben compresi. La mia domanda è se c'è qualcosa che ancora non capiamo su di loro. Non intendo generalizzazioni di DFA ma i DFA originali non modificati che studiamo in undergrad. Questa è …
4
Intersezione DFA nello spazio subquadratico?
L'intersezione di due DFA (minimi) con n stati può essere calcolata usando O (n 2 ) tempo e spazio. Questo è ottimale in generale, poiché il DFA (minimo) risultante può avere n 2 stati. Tuttavia, se il DFA minimo risultante ha stati z, dove z = O (n), può essere …
5
È possibile verificare se un numero calcolabile è razionale o intero?
È possibile testare algoritmicamente se un numero calcolabile è razionale o intero? In altre parole, sarebbe possibile per una libreria che implementa numeri calcolabili fornire le funzioni isIntegero isRational? Immagino che non sia possibile e che ciò sia in qualche modo correlato al fatto che non è possibile verificare se …
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
Gli automi finiti non deterministici (NDFA) possono essere convertiti in modo efficiente in automi finiti deterministici (DFA) nello spazio / tempo subexponential?
Venti anni fa, ho creato un pacchetto di espressioni regolari che includeva le conversioni da espressioni regolari a una macchina a stati finiti (DFA) e supportava una serie di operazioni di espressione regolare chiuse (stella di Kleene, concatenazione, retromarcia, operazioni impostate, ecc.). Non ero sicuro delle peggiori prestazioni del mio …
1
Separare le parole con DFA casuali
Uno dei problemi aperti interessanti sui DFA elencati in Sono rimasti dei problemi aperti sui DFA? è la dimensione di un DFA richiesto per separare due stringhe di lunghezza . Sono curioso di sapere se ci sono risultati sulla capacità di un DFA casuale di separare due stringhe (non casuali) …
2
Algoritmo per la conversione di NFA di grandi dimensioni in DFA
Ho un automa finito non deterministico veramente grande e devo convertirlo in DFA. In generale intendo oltre 40.000 stati. Finora ho fatto alcuni esperimenti e programmato l'algoritmo predefinito che cerca nella tabella (come descritto qui ), ma anche dopo l'ottimizzazione è piuttosto lenta e richiede molta memoria. Sono consapevole del …
12 dfa 
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.