Perguntas com a marcação «nondeterminism»

Eu estava passando pela discussão sobre a questão Como definir máquinas de Turing quânticas? e sinto que a MT quântica e a MT não - determinística são a mesma coisa. As respostas para a outra pergunta não tocam nisso. Esses dois modelos são iguais? Se não, Quais são as diferenças …

30 computability  turing-machines  quantum-computing  nondeterminism 

Que diferenças e relações existem entre algoritmos aleatórios e algoritmos não determinísticos? Da Wikipedia Um algoritmo aleatório é um algoritmo que emprega um grau de aleatoriedade como parte de sua lógica. O algoritmo normalmente usa bits aleatoriamente uniformes como uma entrada auxiliar para orientar seu comportamento, na esperança de obter …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Sabemos que os DFAs são equivalentes aos NFAs em poder de expressividade; também existe um algoritmo conhecido para converter NFAs em DFAs (infelizmente agora conheço o inventor desse algoritmo), o que, na pior das hipóteses, nos dá estados, se nosso NFA tivesse estados. S2S2S2^SSSS Minha pergunta é: o que está …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Um autômato é um modelo abstrato de um computador digital. Computadores digitais são completamente determinísticos; seu estado a qualquer momento é previsível exclusivamente a partir da entrada e do estado inicial. Quando estamos tentando modelar sistemas reais, por que incluir o não determinismo na teoria de Autômatos?

23 automata  nondeterminism  applied-theory 

Todos os autômatos finitos não determinísticos podem ser transformados em autômatos finitos determinísticos equivalentes. No entanto, um autômato finito determinístico permite apenas uma única seta por símbolo apontando de um estado. Portanto, seus estados devem ser membros do conjunto de estados da NFA. Isso parece indicar que o número de …

20 automata  finite-automata  nondeterminism 

A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de autômatos. Também notei …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos por …

15 formal-languages  automata  nondeterminism 

Eu tenho essa pergunta [engraçada] em mente. Por que o autômato finito não determinístico é chamado não determinístico enquanto definimos as transições para entradas. Bem, embora existam transições múltiplas e epsilon , elas são definidas, o que significa que a máquina é determinística para essas transições. O que significa que …

14 finite-automata  nondeterminism 

Percebo que os autômatos não determinísticos de empilhamento podem ser uma melhoria em relação aos determinísticos, pois eles podem "escolher" entre vários estados e existem algumas linguagens livres de contexto que não podem ser aceitas por um empilhamento determinístico. Ainda assim, não entendo exatamente como eles "escolhem". Para os palindormes, …

14 automata  pushdown-automata  nondeterminism 

Sei que podemos minimizar os DFAs localizando e mesclando estados equivalentes, mas por que não podemos fazer o mesmo com os NFAs? Não estou procurando uma prova ou algo assim - a menos que uma prova seja mais simples de entender. Eu só quero entender intuitivamente por que a minimização …

14 complexity-theory  finite-automata  nondeterminism 

Da Wikipedia sobre algoritmos aleatórios É preciso distinguir entre algoritmos que usam a entrada aleatória para reduzir o tempo de execução esperado ou o uso da memória, mas sempre terminam com um resultado correto em uma quantidade limitada de tempo e algoritmos probabilísticos , que, dependendo da entrada aleatória, têm …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Amanhã é a minha apresentação e quero esclarecer meus conceitos ... Eu li no DFA: "Para cada estado, a transição em todos os símbolos possíveis (alfabeto) deve ser definida". Para cada estado, a transição de todos os símbolos possíveis é obrigatória no DFA? Se não, por favor, dê alguns exemplos?

13 automata  finite-automata  nondeterminism 

Comecei a ler sobre teoria da computação. Se compararmos o que é mais poderoso (na aceitação de strings), ambos são iguais. Mas e quanto à eficiência? O DFA será rápido em comparação com o NFA, pois possui apenas uma borda de saída e não haverá ambiguidade. Mas no caso da …

13 finite-automata  efficiency  nondeterminism 

Na foto abaixo, estou tentando descobrir o que exatamente esse NFA está aceitando. O que me confunde é o salto em .ϵϵ\epsilonq0q0q_0 Se um for inserido, o sistema passa para e (o estado de aceitação)?000q0q0q_0 q1q1q_1 Se um for inserido, o sistema passa para e ?111q1q1q_1q2q2q_2 O sistema passa para …

12 automata  finite-automata  nondeterminism 

Quais são as diferenças entre as máquinas de Turing determinísticas e não determinísticas? Modelos diferentes, mas equivalentes, do NDTM. Em particular, qual é a frase usada com frequência "adivinhação não-determinística"? Como usá-lo corretamente e exemplos de uso incorreto. Meu objetivo é criar uma pergunta de referência.

12 turing-machines  nondeterminism