File:Rice reduction.svg
Size of this PNG preview of this SVG file: 500 × 600 pixels. Other resolutions: 200 × 240 pixels | 400 × 480 pixels | 640 × 768 pixels | 853 × 1,024 pixels | 1,707 × 2,048 pixels.
Original file (SVG file, nominally 500 × 600 pixels, file size: 14 KB)
Captions
Captions
Add a one-line explanation of what this file represents
Summary
edit
| Description |
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. |
| Date | |
| Source | Own work |
| Author | Booyabazooka |
Licensing
edit
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 02:17, 9 December 2008 | | 500 × 600 (14 KB) | Chris-martin (talk | contribs) | {{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 |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on pt.wikipedia.org
