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

Teoria de autômatos, incluindo máquinas abstratas, gramáticas, análise, inferência gramatical, transdutores e técnicas de estado finito

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 
2
Uma referência para uma abordagem "mais algébrica" ​​para autômatos de empilhamento e CFLs?
No livro de Sakarovitch sobre a teoria dos autômatos, está escrito na introdução à seção sobre racionais no grupo livre que o material apresentado nele estabelece "o fundamento de uma teoria verdadeiramente matemática das linguagens livres de contexto". No entanto, isso não é explicitado, pois linguagens sem contexto e autômatos …
2
Linguagens unárias reconhecidas por contra-autômatos determinísticos bidirecionais
Os 2dca (autômatos determinísticos bidirecionais de um contador) (Petersen, 1994) podem reconhecer a seguinte linguagem unária: POWER={02n∣n≥0}.POWER={0 02n∣n≥0 0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Existe alguma outra linguagem unária não trivial reconhecida pelos 2dca's? Observe que ainda não se sabe se 2dca pode reconhecer SQUARE={0n2∣n≥0}SQvocêUMARE={0 …
5
Ambiguidade e lógica
Na teoria dos autômatos (autômatos finitos, autômatos de empilhamento, ...) e na complexidade, existe a noção de "ambiguidade". Um autômato é ambíguo se houver uma palavra com pelo menos duas execuções de aceitação distintas. Uma máquina é ambígua se, para cada palavra aceita pela máquina, houver no máximo execuções distintas …
3
Propriedades de gráficos direcionados aleatórios com grau externo fixo
Estou interessado em propriedades de gráficos direcionados aleatórios com grau externo fixoddd . Estou imaginando um modelo de gráfico aleatório em que cada vértice escolhe d vizinhos (digamos, com substituição) uar Pergunta : Sabe-se alguma coisa sobre a distribuição estacionária e os tempos de mistura de passeios aleatórios nesses gráficos …
1
São DPDAs sem uma
Na descrição formal do determinística Pushdown Automata, eles permitem movimentos, onde a máquina pode pop ou empurrar símbolos na pilha sem ler um símbolo da entrada. Se esses ϵ movimentos não forem permitidos, e a pilha puder ser modificada apenas uma vez após a leitura de cada símbolo, os autômatos …
2
Quão pequeno pode ser um NFA, em comparação com o mínimo Automated Unite ambíguo (UFA) do mesmo idioma regular?
Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset NFA Resultados conhecidos de autômatos relacionados: A minimização de …
1
Existem variantes de autômatos de empilhamento visíveis que permitem inserir palavras na pilha?
Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha. Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo objetivo.ϵϵ\epsilon Obviamente, essas variações podem ser formadas, mas …
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.