Perguntas com a marcação «computation-models»

É sabido que uma máquina com uma única pilha, como apenas armazenamento ilimitado, não está completa com Turing, se puder apenas ler a partir da parte superior da pilha. Eu quero uma máquina que seja (ligeiramente) mais poderosa que uma máquina de empilhar, mas que ainda não esteja completa com …

7 computation-models  turing-completeness  linked-lists  stacks 

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 

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 

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 

Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo relacionado à computabilidade.

7 computability  automata  reference-request  computation-models 

Existe um circuito aritmético equivalente para cada função computável? Eu tenho tentado entender a afirmação acima, mas não encontrei um exemplo contrário, apesar de acreditar que a afirmação é falsa. O que me deixou curioso é que li alguns teoremas afirmando que um protocolo (teoria do protocolo de criptografia) pode …

6 computability  computation-models  cryptography  circuits  simulation