File:Enumeration of text file by size and lexicographic order, valid C programs highlighted.gif
Size of this preview: 391 × 599 pixels. Other resolutions: 156 × 240 pixels | 313 × 480 pixels | 501 × 768 pixels | 668 × 1,024 pixels | 1,312 × 2,010 pixels.
Original file (1,312 × 2,010 pixels, file size: 52 KB, MIME type: image/gif)
File information
Structured data
Captions
Summary edit
DescriptionEnumeration of text file by size and lexicographic order, valid C programs highlighted.gif |
English: Shows excerpts from an enumeration of the set T of all text files buildable from ASCII characters in range 0x20...0x7e (i.e. ' '...'~'), ordered by file size (i.e. string length, as no control charcters like newline are admitted), and strings of same length ordered lexicographically. The existence of such an enumeration ensures that T is countable; hence its proper subset TC of all C programs (without any preprocessor code, but with otherwise sloppiest possible syntax requirements) is countable, too. Members of TC are shown in green, other members of T in red. The last line supposedly shows the shortest C program printing "Hello World". The rank number of a string s is about two times as long as s itself, since 95 different characters are possible in each column. |
Date | |
Source | Own work |
Author | Jochen Burghardt |
Licensing edit
I, the copyright holder of this work, hereby publish it under the following licenses:
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license.
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
You may select the license of your choice.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 20:03, 7 December 2013 | 1,312 × 2,010 (52 KB) | Jochen Burghardt (talk | contribs) | {{Information |Description ={{en|1=Shows excerpts from an enumeration of the set ''T'' of all text files buildable from ASCII characters in range 0x20...0x7e (i.e. ' '...'~'), ordered by file size (i.e. string length, as no control charcters like ne... |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.