Ficheiro:Rice reduction.svg
Dimensões desta antevisão em PNG do ficheiro SVG: 500 × 600 píxeis Outras resoluções: 200 × 240 píxeis | 400 × 480 píxeis | 640 × 768 píxeis | 853 × 1 024 píxeis | 1 707 × 2 048 píxeis.
Imagem numa resolução maior (ficheiro SVG, de 500 × 600 píxeis, tamanho: 14 kB)
 |
Esta imagem provém do Wikimedia Commons, um acervo de conteúdo livre da Wikimedia Foundation que pode ser utilizado por outros projetos.
|
Descrição do ficheiro
| Descrição |
English: A Turing machine which solves the halting problem, built using a Turing machine which decides any nontrivial property about the language of a Turing machine. Used to illustrate the reduction which generates a contradiction to prove Rice's Theorem. |
| Data | |
| Origem | Obra do próprio |
| Autor | Booyabazooka |
Licenciamento
|
Eu, titular dos direitos de autor desta obra, dedico-a ao domínio público, com aplicação em todo o mundo. Nalguns países isto pode não ser legalmente possível; se assim for: Concedo a todos o direito de usar esta obra para qualquer fim, sem quaisquer condições, a menos que tais condições sejam impostas por lei. |
Histórico do ficheiro
Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.
| Data e hora | Miniatura | Dimensões | Utilizador | Comentário | |
|---|---|---|---|---|---|
| atual | 02h17min de 9 de dezembro de 2008 | | 500 × 600 (14 kB) | Chris-martin | {{Information |Description={{en|1=A Turing machine which solves the halting problem, built using a Turing machine which decides any nontrivial property about the language of a Turing machine. Used to illustrate the reduction which generates a contradicti |
Utilização local do ficheiro
A seguinte página usa este ficheiro:
Utilização global do ficheiro
As seguintes wikis usam este ficheiro:
- en.wikipedia.org
- fr.wikipedia.org
