Perguntas com a marcação «automata-theory»

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 = …

25 automata-theory  dfa 

Para qualquer idioma sobre , defina Em palavras, é composto por todos os para o qual existe uma de igual comprimento tal que .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1/2L1/2L_{1/2}xxxyyyxy∈Lxy∈Lxy\in L Um exercício no livro de Sipser pede para mostrar que é regular sempre que é. Vi …

24 fl.formal-languages  automata-theory 

Seja dois idiomas regulares fornecidos pelos NFAs M_1 como entrada.M 1 , M 2eu1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 Suponha que gostaríamos de verificar se . Isso pode ser feito claramente por um algoritmo quadrático que calcula o autômato do produto , , mas eu queria saber se algo mais eficiente é conhecido.M …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Dadas duas seqüências xey, eu quero criar um DFA de tamanho mínimo que aceite xe rejeite y. Uma maneira de fazer isso é a busca por força bruta. Você enumera o DFA começando pelo menor. Você tenta cada DFA até encontrar um que aceite xe rejeite y. Quero saber se …

23 automata-theory  dfa  fsm 

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 …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

I corrigir uma linguagem regular LLL em um alfabeto ΣΣ\Sigma , e eu considere o seguinte problema que eu chamo carta agendamento para LLL . Informalmente, a entrada me fornece nnn letras e um intervalo para cada letra (ou seja, uma posição mínima e máxima), e meu objetivo é colocar …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

É sabido que o seguinte problema está completo no PSPACE: Dada a expressão regular , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* E quanto a determinar a equivalência a outras expressões regulares (fixas) ?αα\alpha Dada a expressão regular , ?L ( β ) = …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

O lema de bombeamento para linguagens regulares pode ser provado considerando-se um autômato de estado finito que reconhece a linguagem estudada, escolhendo uma corda com um comprimento maior que o número de estados e aplicando o princípio do buraco de pombo. O lema de bombeamento para linguagens livres de contexto …

21 fl.formal-languages  automata-theory  proofs  grammars 

Por exemplo, nas linguagens de programação, é comum escrever um compilador / intérprete X-in-X, mas em um nível mais geral, muitos sistemas completos de Turing conhecidos podem simular-se de maneiras impressionantes (por exemplo, simulando o Jogo da Vida de Conway no Jogo da Vida de Conway. ) Então, minha pergunta …

20 computability  automata-theory  turing-machines 

Defina a seguinte classe de idiomas "circulares" sobre um alfabeto finito Sigma. Na verdade, o nome já existe para denotar uma coisa diferente que parece, usada no campo da computação de DNA. AFAICT, essa é uma classe de idiomas diferente. Uma linguagem L é circular se, para todas as palavras …

20 fl.formal-languages  automata-theory  regular-language 

Gostaria de provar (ou refutar) a seguinte conjectura: Conjectura : um autômato de dois contadores (2CA) não pode decidir o seguinte idioma: L={n∣L={n∣L = \{ n \mid as representações ternárias e binárias dennn têm comprimento par ou comprimento ímpar}}\} Um 2CA pode facilmente verificar se a representação binária tem comprimento …

19 automata-theory 

Recentemente, eu estava tendo uma discussão sobre as Máquinas de Turing quando me perguntaram: "A Máquina de Turing é derivada de autômatos, ou é o contrário"? Eu não sabia a resposta, é claro, mas estou curioso para descobrir. A máquina de Turing é basicamente uma versão um pouco mais sofisticada …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

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 …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Um DFA possui uma palavra de sincronização se houver uma sequência que envie qualquer estado do DFA para um único estado. Em 'The Cerny Conjecture for Aperiodic Automata ”de AN Trahtman (Matemática Discreta e Ciência da Computação Teórica, vol. 9: 2, 2007, pp.3-10), ele escreveu: Cerny conjeturou em 1964 que …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

As implementações mais modernas de expressões regulares, como as em perl ou .NET, vão além da definição clássica de ciência da computação dos REGEXes com recursos como lookahead e lookbehind. Esses recursos permitem analisar instruções que não podem ser descritas com um autômato finito e não pushdown? Quanto mais perto …

19 automata-theory  regular-expressions  fl.formal-languages