Perguntas com a marcação «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 

Eu acho que metade da batalha em responder a essa pergunta está em formulá-la com precisão! Um mecanismo de pesquisa não aparece muito, então eu queria saber se essa é uma pergunta bem conhecida ou bem estudada. Meus pensamentos: Eu acho que a maneira mais direta de formular essa pergunta …

7 complexity-theory  reference-request  turing-machines  combinatorics 

Eu não sei muito sobre yacc, bison, flex ou lex e, por favor, me corrija se eu estiver errado, mas uma linguagem de programação também é uma máquina de Turing e uma máquina de Turing é definida como a tupla ( Q , Γ , b , Σ , δ,q0 …

7 turing-machines  formal-grammars  programming-languages  computation-models 

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 

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 

Francamente, estou muito desconfortável com o material no momento. Há algumas coisas que posso entender, mas muitas ainda não o compreendo. Minha primeira tarefa é me fazer uma pergunta (que eu sei fazer) para fornecer uma descrição completa de uma MT que aceite um idioma L = { x ∈ …

7 terminology  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 

Gostaria de saber se existe um exemplo simples de conjuntos e tal que é Turing-irredutível a , mas não muitos-para-um irredutível para .AAABBBAAABBBBBB

7 turing-machines  reductions 

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 

A classe de complexidade #P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp é definida como #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} . Sabe-se que #P#P\sharpp é fechado sob adição, multiplicação e coeficiente binomial. Eu queria saber se está …

7 complexity-theory  turing-machines  closure-properties 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de …

7 computability  reductions  turing-machines