Perguntas com a marcação «turing-machines»

Deixe uma sequência de entrada ser dada como . Então, se um NFA está atualmente no estado (e leu a entrada até o alfabeto ), antes de ler o próximo símbolo de entrada, o NFA se divide em dois NFA, um no estado outro no , se houver uma transição …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Parece que me lembro de uma turma de graduação que, para uma Máquina de Turing com fita finita, sempre existirá um Autômato de Estado Finito correspondente, mas não consegui encontrar isso confirmado em nenhum lugar da Internet. Este é realmente o caso ou estou me lembrando errado?

9 turing-machines  finite-automata 

Em uma pergunta anterior O que exatamente é um algoritmo? , Perguntei se ter um "algoritmo" que retorna o valor de uma função com base em uma matriz de valores pré-computados era um algoritmo. Uma das respostas que chamou minha atenção foi esta: O exemplo fatorial entra em um modelo …

9 turing-machines  computation-models 

Uma função booleana é uma função .f: { 0 , 1 }n→ { 0 , 1 }f:{0 0,1 1}n→{0 0,1 1}f:\{0,1\}^n\rightarrow\{0,1\} A base booleana é conhecida por ser Turing completa, pois permite que qualquer sequência s ∈ { 0 , 1 } seja invertida ou permaneça inalterada. O mesmo pode …

9 turing-machines  turing-completeness  boolean-algebra 

Na faculdade, aprendemos mais sobre a teoria da computação em geral e sobre as máquinas de Turing. Um dos grandes resultados teóricos é que, ao custo de um alfabeto potencialmente grande (símbolos), você pode reduzir o número de estados para apenas 2. Eu estava procurando exemplos de diferentes máquinas de …

9 turing-machines  context-free  parsers 

Lendo esta pergunta " Problemas indecidíveis de ER naturais, mas não completos de Turing ", veio à minha mente o seguinte idioma: Se for a função de castor ocupado (pontuação máxima atingível entre todas as máquinas de Turing de estado n de dois símbolos com parada do tipo descrito acima, …

9 computability  turing-machines 

Por que os números computáveis ​​(no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou vendo.

9 computability  turing-machines  enumeration 

Uma máquina de Turing com permissão para ler e escrever símbolos de um alfabeto infinito é mais poderosa que uma TM comum (essa é a única diferença, a máquina ainda possui um número finito de estados)? A intuição não me diz, pois você precisa de um número infinito de estados …

9 computability  turing-machines  reductions  simulation 

Gostaria de usar sua ajuda com o seguinte problema: . Mostram que a L ∉ R E ∪ C O R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Eu sei que para provar , é o suficiente para encontrar uma linguagem …

9 formal-languages  computability  context-free  turing-machines 

Nos anos 50, foram inventados vários métodos de minimização de circuitos para funções booleanas . Existe uma extensão desses métodos ou algo semelhante para otimizar a complexidade do tempo ou espaço dos algoritmos? Por exemplo, uma implementação de classificação por bolhas como uma entrada para esse algoritmo produziria uma implementação …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

Antes de tudo, peço desculpas se isso foi solicitado, mas realmente não encontrei nada. Eu tropecei neste artigo . Ele diz que há um problema que apenas a Quantum Computers pode resolver. No meu entendimento, isso deve significar, intuitivamente, que esse problema é "efetivamente computável", pois temos um método real …

8 turing-machines  quantum-computing  church-turing-thesis 

Nos últimos dois anos, construí um computador mecânico alimentado por bolas de gude e fiz dele um jogo. É semelhante ao antigo Digi-Comp II, exceto por duas diferenças principais: As peças são reposicionáveis ​​no quadro. Você pode conectar vários 'bits' juntos usando engrenagens. Quando um desses bits é invertido, ele …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Acabamos de terminar nossa lição "Construtibilidade do tempo" na aula na semana passada e, por exemplo, mostramos que nk,2nnk,2nn^k, 2^n são totalmente construtíveis no tempo, ou seja, existe uma máquina de Turing (determinística para várias fitas) que, para nnn dado, pára após exatamente f(n)f(n)f(n) etapas, e apenas perguntei se poderíamos …

8 complexity-theory  turing-machines  time-complexity 

Quero determinar se esse problema de decisão é decidível. Eu tentei estabelecer reduções de Halt e "Aceita string vazia", ​​mas ainda não encontrei uma solução. Alguém pode me ajudar?

8 computability  turing-machines  undecidability 

Por exemplo, podemos dizer que temos um programa abstrato que, dada uma string binária finita como entrada, remove todos os zeros (ou seja, 0010001101011 é avaliado como 111111), que é definitivamente uma função computável de Turing. Como um sistema de tag cíclico calcula isso (o que pode, por definição, ser …

8 computability  turing-machines