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

Quero dizer especificamente famílias de idiomas que admitem seqüências arbitrariamente longas - não conjunções sobre n bits ou listas de decisão ou qualquer outra linguagem "simples" contida em {0,1} ^ n. Estou perguntando sobre as linguagens regulares "teóricas dos autômatos", em oposição às linguagens "teóricas da lógica": algo como as …

9 automata-theory  machine-learning  lg.learning 

Eu estou olhando para escrever uma pesquisa sobre o método de representar a dinâmica da computação baseada no estado dentro da estrutura das barras de carvão. Até agora, consegui encontrar documentos sobre representações de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas livres de contexto e até sistemas quânticos …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

É simples ver que os poderes de 2 sobre o alfabeto {0,1} são regulares porque é uma expressão regular para ele.10∗10∗10^* Mas os poderes de 2 representados no ternário parecem não ser regulares. É difícil aplicar classes de lema ou resíduo de bombeamento, pois parece haver muito pouco padrão entre …

9 automata-theory  fl.formal-languages 

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 

Relacionado a uma pergunta recente ( limites no tamanho do menor NFA para L_k-distinct ) Noam Nisan solicitou um método para fornecer um limite inferior melhor para o tamanho de um NFA do que o obtido nos limites da complexidade da comunicação. O que se segue é uma versão especial …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

Estou tentando esclarecer meu entendimento no exemplo apresentado na Seção 2.2 dos autômatos finitos quânticos de 1 via: fortalece as fraquezas e as generalizações (esse link alternativo também pode ser útil). Este exemplo fornece um exemplo muito simplificado de um 1-QFA com as seguintes regras de transição: ,Va|q0⟩ = 12| …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Estou escrevendo um verificador de modelo de brinquedo e estou no ponto em que é hora de implementar a tradução de autômato LTL para Buchi. Por várias razões óbvias, desejo que o algoritmo seja simples :) por exemplo, quero que o código permaneça extremamente claro e conciso pelo maior tempo …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic 

Escreva como o mapa de Parikh --ie, , onde é o número de vezes que aparece em . É sabido que, para um CFL , é um conjunto semilinear (esse é o teorema de Parikh). Outras coisas interessantes são conhecidas, mas não encontrei nada sobre o mapa de Parikh de …

8 fl.formal-languages  automata-theory 

Sabemos que todos os autômatos push-down são representáveis ​​usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja, eu posso colocar um …

8 automata-theory  fl.formal-languages  grammars  software