Perguntas com a marcação «nondeterminism»

(Espero que isso não tenha sido solicitado antes, mas não encontrei nada.) No meu entendimento, o não determinismo se aplica apenas a problemas de decisão, devido à exigência da existência de um caminho de aceitação . Na Wikipedia, a classeNPNPNP-easy é definido como solucionável em poltime determinístico, com acesso a …

7 turing-machines  computation-models  nondeterminism 

A seguir, um exercício no qual estou preso (fonte: Sanjeev Arora e Boaz Barak; não é tarefa de casa): Mostre que existe um oráculo UMAAA e uma lingua L ∈ NPUMAL∈NPAL \in NP^A de tal modo que euLL não é redutível em tempo polinomial para 3SAT, mesmo quando a máquina …

7 complexity-theory  np  nondeterminism  oracle-machines  relativization 

Existem exemplos de linguagens de computador do mundo real que não são deterministas? Por linguagens de computador eu incluo linguagens de programação, linguagens de marcação, linguagens de consulta, linguagem de modelagem, linguagens de transformação, etc. Por não determinístico, quero dizer que eles não podem ser analisados ​​com gramáticas determinísticas.

7 formal-grammars  programming-languages  nondeterminism 

De um comentário , uma pergunta interessante surgiu. A classe de CFLs (os idiomas reconhecidos pelos PDAs) obviamente não está fechada sob não-determinismo - o que quero dizer com isso é que os PDAs determinísticos não são equivalentes em poder aos PDAs não-determinísticos. No entanto, todas as CFLs são decidíveis …

7 formal-languages  context-free  closure-properties  computation-models  nondeterminism 

Sejak ∈ Nk∈Nk\in \mathbb N Estou procurando uma compilação NFA pequena para a linguagem de concatenação de duas palavras do comprimento que são diferentes em termos de índice, ou seja,kkkeuk= { u ⋅ v ∈Σ∗: | u | = | v | = k ∧ ∀ i ,vocêEu≠vEu}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in …

7 formal-languages  finite-automata  nondeterminism 

Estou fazendo algumas pesquisas sobre os NFAs e problemas de inclusão com eles. Eu sei que, em geral, os problemas de inclusão e a conversão para uma NFA inequívoca são ambos completos do PSPACE. Gostaria de saber, existem subclasses de NFA para as quais elas podem ser decididas com eficiência? …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Então, eu tenho tentado resolver isso por um longo tempo e quase sinto que estou dando voltas sobre essa questão. Dado o seguinte NFA: Usando o algoritmo GNFA, obtenha a expressão regular. Entendo que você teria o seguinte para a primeira etapa (adicionando estados vazios): O próximo passo seria remover …

7 automata  finite-automata  regular-expressions  nondeterminism 

Estou participando da classe Coursera em compiladores e, na lição sobre lexers, é sugerido que existe uma troca de espaço-tempo entre o uso de autômato finito não determinístico (NFA) e autômato finito determinístico (DFA) para analisar expressões regulares. Se bem entendi, a desvantagem é que um NFA é menor, mas …

7 finite-automata  compilers  efficiency  nondeterminism  lexical-analysis 

Estou vendo meu livro aqui, de Michael Sipser, e ele diz que uma máquina de Turing não determinística é decisiva se todos os seus ramos de computação pararem em todas as entradas. Acho que me lembro de ter visto em algum lugar o que você chamaria de máquina de Turing …

7 turing-machines  nondeterminism