article

Free access

On the Length of Programs for Computing Finite Binary Sequences

Author:

Gregory J. ChaitinAuthors Info & Claims

Journal of the ACM (JACM), Volume 13, Issue 4

Pages 547 - 569

https://doi.org/10.1145/321356.321363

Published: 01 October 1966 Publication History

PDF eReader

Abstract

The use of Turing machines for calculating finite binary sequences is studied from the point of view of information theory and the theory of recursive functions. Various results are obtained concerning the number of instructions in programs. A modified form of Turing machine is studied from the same point of view. An application to the problem of defining a patternless sequence is proposed in terms of the concepts here developed.

References

[1]

SHANON, C. E. A universal Tvring machine with two internal states. In Automata Sludiea, Shagreen aNd McCarthy, Edm, Primeton U. Press, Princeton, N. J., 1956.

Google Scholar

[2]

---. A mathematical theory of communication. Bell Syst. Tech. J. 27 (1948), 379-423.

Google Scholar

[3]

TURNING, A. M. O computable mlmbers, with an application to the Entscheidungsproblare. Prec. London Math. See. {2}2 (19337), 230=265; Correction, ibid, 43 (1937), 544-

Google Scholar

[4]

DAVIS, M. Comutability and Unsolvaility McGraw-Hilt, New York, 1958.

Google Scholar

[5]

NOV MIUSES, R Probability, Statistics and Tmzth. MacMillan, New York, 19219.

Google Scholar

[6]

WALD, A. Die Widempmmhsfreiheit des Koltektivbeg:riffes der Wahrscheialichkeitsrech mmg. Ergcbnisse eines mathe:matischen Kolloquiums 8 (1937), 38-72.

Google Scholar

[7]

CHURCH A. Or the concep of a random sequence. Bull, Amer. Math. Soc. 6 (1940), 130- I35.

Google Scholar

[8]

POPERR, K.R. The Logic 4 Scientfic Discovery. O. of Toronto Press, Toronto:, 1959.

Google Scholar

[9]

VON NEUMANN, J. Various techniques used in connection with random digits. In John yon Neumann, Collected Works, Vol. V, A. H. Taub, Ed, MacMillan, New York, 1963.

Google Scholar

[10]

CHAITAN, G. J. On the length of programs for computing finite binary sequences by bounded-transfer Taring machines. Abstract 66T-26, Notic. Amer. Math. Soc. 13 (I966), 133.

Google Scholar

[11]

---. On the length of programs for eompating finite binary sequenees by bounded.trans_ far Turing machines II. Atmtract 631-6, Notic. Amer. Math. Soc. i8 (1966), 228-22(3. (Erratum, p. 229, line 5: replace "P" by "L.")

Google Scholar

Cited By

View all

Tong Qixia 童Hu Yingying 胡He Deyong 何Han Zhengfu 韩(2024)自发辐射放大的量子随机数快速后处理方法Laser & Optoelectronics Progress10.3788/LOP23083961:5(0527001)Online publication date: 2024
https://doi.org/10.3788/LOP230839
Lemus MFaleiro RMateus PPaunković NSouto A(2024)Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machinesQuantum10.22331/q-2024-01-18-12308(1230)Online publication date: 18-Jan-2024
https://doi.org/10.22331/q-2024-01-18-1230
Zhang ZLiu CZhu YPeng LQiu WTang QLiu HZhang KDi ZLiu Y(2024)Evolutionary tinkering enriches the hierarchical and nested structures in amino acid sequencesPhysical Review Research10.1103/PhysRevResearch.6.0232156:2Online publication date: 28-May-2024
https://doi.org/10.1103/PhysRevResearch.6.023215
Show More Cited By

Index Terms

On the Length of Programs for Computing Finite Binary Sequences
1. Mathematics of computing

Recommendations

On the Length of Programs for Computing Finite Binary Sequences: statistical considerations

An attempt is made to carry out a program (outlined in a previous paper) for defining the concept of a random or patternless, finite binary sequence, and for subsequently defining a random or patternless, infinite binary sequence to be a sequence whose ...
New optimal binary sequences with period 4p via interleaving Ding---Helleseth---Lam sequences

Binary sequences play important roles in radar, communication, and cryptography. Finding new binary sequences with optimal autocorrelation value/magnitude has been an interesting research topic in sequence design. Ding---Helleseth---Lam sequences are ...
Low autocorrelation binary sequences: Number theory-based analysis for minimum energy level, Barker codes

Low autocorrelation binary sequences (LABS) are very important for communication applications. And it is a notoriously difficult computational problem to find binary sequences with low aperiodic autocorrelations. The problem can also be stated in terms ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Journal of the ACM Volume 13, Issue 4

Oct. 1966

159 pages

ISSN:0004-5411

EISSN:1557-735X

DOI:10.1145/321356

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1966

Published in JACM Volume 13, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

733
Total Citations
View Citations
1,587
Total Downloads

Downloads (Last 12 months)304
Downloads (Last 6 weeks)61

Reflects downloads up to 10 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tong Qixia 童Hu Yingying 胡He Deyong 何Han Zhengfu 韩(2024)自发辐射放大的量子随机数快速后处理方法Laser & Optoelectronics Progress10.3788/LOP23083961:5(0527001)Online publication date: 2024
https://doi.org/10.3788/LOP230839
Lemus MFaleiro RMateus PPaunković NSouto A(2024)Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machinesQuantum10.22331/q-2024-01-18-12308(1230)Online publication date: 18-Jan-2024
https://doi.org/10.22331/q-2024-01-18-1230
Zhang ZLiu CZhu YPeng LQiu WTang QLiu HZhang KDi ZLiu Y(2024)Evolutionary tinkering enriches the hierarchical and nested structures in amino acid sequencesPhysical Review Research10.1103/PhysRevResearch.6.0232156:2Online publication date: 28-May-2024
https://doi.org/10.1103/PhysRevResearch.6.023215
Scharf CWitkowski O(2024)Rebuilding the Habitable Zone from the Bottom up with Computational ZonesAstrobiology10.1089/ast.2023.003524:6(613-627)Online publication date: 1-Jun-2024
https://doi.org/10.1089/ast.2023.0035
Łukaszyk S(2024)Life as the Explanation of the Measurement ProblemJournal of Physics: Conference Series10.1088/1742-6596/2701/1/0121242701:1(012124)Online publication date: 1-Feb-2024
https://doi.org/10.1088/1742-6596/2701/1/012124
Rupe ACrutchfield J(2024)On principles of emergent organizationPhysics Reports10.1016/j.physrep.2024.04.0011071(1-47)Online publication date: Jun-2024
https://doi.org/10.1016/j.physrep.2024.04.001
Silva JAlmeida J(2024)Enhancing metagenomic classification with compression-based featuresArtificial Intelligence in Medicine10.1016/j.artmed.2024.102948(102948)Online publication date: Aug-2024
https://doi.org/10.1016/j.artmed.2024.102948
Brandt N(2024)Lower Bounds for Levin–Kolmogorov ComplexityTheory of Cryptography10.1007/978-3-031-78011-0_7(191-221)Online publication date: 2-Dec-2024
https://doi.org/10.1007/978-3-031-78011-0_7
Liagkou VNastou PSpirakis PStamatiou Y(2024)On the Existence of Consensus Converging Organized Groups in Large Social NetworksStructural Information and Communication Complexity10.1007/978-3-031-60603-8_30(507-512)Online publication date: 23-May-2024
https://doi.org/10.1007/978-3-031-60603-8_30
ȘTEFAN G(2023)Meaning in Action: a Qualitative Approach of InformationRomanian Journal of Information Science and Technology10.59277/ROMJIST.2023.3-4.032023:3-4(289-300)Online publication date: 28-Sep-2023
https://doi.org/10.59277/ROMJIST.2023.3-4.03
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations