Perguntas com a marcação «computability»

Estou estudando a prova do seguinte teorema: Dada a linguagem REGULARTM={⟨M⟩|MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M é uma máquina de turing e Accept(M)Accept(M)\mathit{Accept}(M) é regular}}\} REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} é indecidível. A prova dada na Sipser mostra que, se já temos uma máquina RRR que decide REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} então nós podemos fazer uma …

7 computability  turing-machines  undecidability 

Tentei provar que o seguinte idioma é recursivo: para , um número inteiro positivo: ondeΣ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\}kkkeuk=HT M ,ε∩ΣkLk=HTM,ε∩Σk L_k= H_{\mathrm{TM},\varepsilon}\cap \Sigma^k HT M ,ε= { ⟨ M⟩ | M é uma TM que para em uma entrada vazia }HTM,ε={⟨M⟩∣M is a TM that halts on …

7 computability  turing-machines  proof-techniques 

O ponto crucial da diferença entre computação analógica e digital é o número de bits de precisão disponíveis, certo? Agora, eu sei que na máquina de Turing, os números podem ser armazenados com qualquer grau de precisão, pois o meio de armazenamento é uma fita infinita. Porém, no mundo real, …

7 computability  computation-models 

Encontrei uma declaração (sem explicação) de que um idioma A =0 0∗UMA=0 0∗A = 0^*é decidível. Como isso é possível? Quero dizer, como construiríamos uma máquina de Turing que aceitaria (ou rejeitaria) uma sequência possivelmente infinita de zeros? Eu também pensei que talvez pudéssemos criar um enumerador que criaria todas …

7 formal-languages  computability 

Estou tendo dificuldade para ver a solução de Turing para o problema da parada como um lógico, e não como um engenheiro. Aqui está o meu entendimento do problema da parada: Seja o conjunto de todas as máquinas de Turing. MMM Deixe ser o conjunto de todas as entradas para …

7 computability  halting-problem 

Portanto, sabe-se que o PCP é indecidível, mesmo quando fixamos o número de blocos para n ≥ 7n≥7n \geq 7. Gostaria de saber, algo semelhante pode ser dito quando existe um tamanho fixo de palavra? Para ser mais preciso, aqui está o problema: Dado fixo mmm e nnncom n ≥ …

7 computability  undecidability  decision-problem 

Eu estava estudando a prova de que a função de Ackermann era recursiva, mas não primitiva, e uma pergunta me ocorreu: "E daí?". Por que isso Importa? Qual é o significado das funções recursivas primitivas?

7 terminology  computability  machine-models 

Wikipedia : O teorema do programa estruturado [...] afirma que qualquer [...] algoritmo pode ser expresso usando apenas três estruturas de controle. Eles são Executando um subprograma e depois outro subprograma (sequência) Executando um dos dois subprogramas de acordo com o valor de uma expressão booleana (seleção) Executando um subprograma …

7 computability  programming-languages  computation-models 

Dada uma máquina de Turing , dizemos que se a linguagem decidida pela máquina puder ser decidida por alguma máquina em tempo polinomial. Dizemos que se a máquina funcionar em tempo polinomial. Note-se que pode haver máquinas que rodam desnecessariamente longo, mas ainda decidir um idioma em P . Pelo …

7 computability  time-complexity  turing-machines 

Ao escrever uma decisão para uma máquina para ver se ela fez um movimento para a esquerda ou não em uma entrada de w , diz-se que, se continuarmos o cálculo para| w | +N+ 1|W|+N+1 1|w|+N+1 (NNN : número de estados) número de etapas, podemos tomar uma decisão para …

7 computability  turing-machines 

O problema da parada é definido como: HTM= { ⟨ M, W ⟩ | M pára na entrada w }HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Não tenho certeza do que isso significa. É um conjunto de máquinas de Turing …

7 computability  turing-machines 

A função padrão de movimento ocupado chama a atenção para a contagem final de símbolos diferentes de zero na fita. Em vez disso, poderíamos observar a maior quantidade de símbolos diferentes de zero que aparecem na fita em qualquer ponto do cálculo. O limite inferior dessa função seria e o …

7 computability  turing-machines 

Se limitarmos uma máquina de turing para que não seja permitido escrever o símbolo que ela lê, reduziria sua potência? Por exemplo: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA não pode ser o mesmo símbolo que ZZZ.

7 computability  turing-machines  machine-models 

L1L1L_1é uma linguagem recursivamente enumerável sobre algum alfabeto . Um algoritmo enumera eficazmente as suas palavras como . é outro idioma sobre como Considere as seguintes afirmações.ΣΣ\Sigmaw1,w2,...w1,w2,...w_1, w_2, ... L2L2L_2Σ∪{#}Σ∪{#}\Sigma \cup \{\#\}{wi#wj:wi,wj∈L1,i&lt;j}{wi#wj:wi,wj∈L1,i&lt;j}\{w_i\#w_j : w_i, w_j \in L_1, i < j\} L1L1L_1 é recursivo implica é recursivoL2L2L_2 L2L2L_2 é recursivo implica …

7 formal-languages  computability 

E se K( S )K(s)K(s)é a complexidade Kolmogorov da cadeias ∈ { 0 , 1}∗s∈{0,1}∗s \in \{0,1\}^*, Podemos provar (ou refutar) a seguinte declaração: "Toda stringsssé um prefixo de uma string incompressível; ou seja, para cada cordasss existe uma string rrr de tal modo que K( s r ) ≥ …

7 computability  kolmogorov-complexity