File:CPT-halting-problem.svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 620 × 235 pixels. Other resolutions: 320 × 121 pixels | 640 × 243 pixels | 1,024 × 388 pixels | 1,280 × 485 pixels | 2,560 × 970 pixels.
Original file (SVG file, nominally 620 × 235 pixels, file size: 7 KB)
 |
This is a file from the Wikimedia Commons |
Summary
| Description |
English: the halting solution H takes an input program K and K as the input. K is programmed so that when salting solution H outputs a loop K stops and when Halting Solution H outputs a halt, K loops. This makes the result of solution H undecidable |
| Date | |
| Source | Own work |
| Author | Pluke |
This W3C-unspecified vector image was created with Inkscape .
Licensing
I, the copyright holder of this work, hereby publish it under the following license:
 
|
This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication. |
| The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.
|
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 22:26, 10 September 2012 | | 620 × 235 (7 KB) | Pluke | User created page with UploadWizard |
File usage
The following 5 pages use this file:
- A-level Computing/AQA/Paper 1/Theory of computation/Halting problem
- A-level Computing/AQA/Print version/Unit 1
- A-level Computing/AQA/Problem Solving, Programming, Data Representation and Practical Exercise/Problem Solving/Introduction to principles of computation
- A-level Computing 2009/AQA/Print version/Unit 1
- A-level Computing 2009/AQA/Problem Solving, Programming, Data Representation and Practical Exercise/Problem Solving/Introduction to principles of computation
