Perguntas com a marcação «dfa»

Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx …

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

Estou interessado em uma ligeira generalização do DFA. Como sempre, temos definido pelo estado , alfabeto finito , uma ação definida em por e estado inicial ; mas em vez do conjunto de terminais de costume, nós tomamos uma família de subconjuntos de . Um DFA multilíngue é a tuplaQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta …

10 automata-theory  dfa 

Atualização: Parece que esse problema foi estudado e resolvido recentemente, consulte este artigo da wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E também esta pesquisa: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Suponha que, em vez do conjunto usual de palavras {0,1} *, nossas palavras não sejam lineares, mas sim apresentadas em alguma estrutura de árvore. Para impedir que nossas …

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

Seja um alfabeto de tamanho e considere DFAs mínimos, cujo tamanho é limitado por no máximo . Seja o número de diferentes DFAs mínimos.2 m f ( m )ΣΣ\Sigma222mmmf(m)f(m)f(m) Podemos encontrar uma fórmula de forma fechada para ?f(m)f(m)f(m) Considerando que para a função de transição de um DFA de tamanho …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Estou interessado em algoritmos eficientes para interseção do DFA em casos especiais. Ou seja, quando os DFAs se cruzam, obedecem a uma certa estrutura e / ou operam com um alfabeto limitado. Existe alguma fonte onde eu possa encontrar algoritmos nesses casos? Para não tornar a pergunta muito ampla, a …

9 automata-theory  time-complexity  dfa 

A conjectura de Cerny é a afirmação de que qualquer autômato de sincronização com nnn estados tem uma palavra de duração sincronizada no máximo (n−1)2(n−1)2(n-1)^2 . O melhor limite superior atual para o comprimento de uma palavra sincronizada é O(n3)O(n3)O(n^3) . Digamos que dois estados sejam mesclados por uma palavra …

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

Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no máximo,O(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD lêwww …

8 automata-theory  regular-language  nondeterminism  dfa  nfa