Concepedia

Turing Machine Characterizations

Turing Machine Characterizations is a theoretical framework that formally defines and classifies the computational capabilities and limitations of Turing machines by identifying invariant properties across equivalent models of computation.

113

Publications

14.5K

Citations

167

Authors

107

Institutions

Publications per year

2017–2026

8

Parents

Publications

113

Quantum theory, the Church–Turing principle and the universal quantum computer

David Deutsch · Proceedings of the Royal Society of London A Mathematical and Physical Sciences · 1985 · 4.6K citations

, , +17

On the computational complexity of algorithms

Juris Hartmanis, Richard E. Stearns · Transactions of the American Mathematical Society · 1965 · 957 citations · Full text

, , +15

On the Length of Programs for Computing Finite Binary Sequences

Gregory J. Chaitin · Journal of the ACM · 1969 · 917 citations · Full text

, , +10

On the Length of Programs for Computing Finite Binary Sequences

Gregory J. Chaitin · Journal of the ACM · 1966 · 912 citations · Full text

, , +10

Flow diagrams, turing machines and languages with only two formation rules

Corrado Böhm, G. Jacopini · Communications of the ACM · 1966 · 789 citations · Full text

, , +10

1–5 of 113

Authors

167

  1. ÓH
    Óscar H. Ibarra

    University of California, Santa Barbara, United States

    4 publications · 184 citations

    4

    h-index

  2. HB
    Holger Boche

    Technical University of Munich, Germany

    3 publications · 98 citations

    3

    h-index

  3. UH
    Ulrich Hertrampf

    University of Würzburg, Germany

    2 publications · 99 citations

    2

    h-index

  4. BJ
    B. Jack Copeland

    University of Canterbury, New Zealand

    2 publications · 145 citations

    2

    h-index

  5. PW
    Philip Welch

    University of Bristol, United Kingdom

    2 publications · 82 citations

    2

    h-index

1–5 of 167

Institutions

107

  1. University of Illinois Chicago

    Chicago, United States

    3 h-index

    3 publications

    114 citations

  2. Georgia Institute of Technology

    Atlanta, United States

    3 h-index

    3 publications

    167 citations

  3. Munich Center for Quantum Science and Technology

    Munich, Germany

    3 h-index

    3 publications

    98 citations

  4. Technical University of Munich

    Munich, Germany

    3 h-index

    4 publications

    109 citations

  5. University of Minnesota

    Minneapolis, United States

    3 h-index

    4 publications

    147 citations

  6. University of Bologna

    Bologna, Italy

    2 h-index

    2 publications

    25 citations

  7. University of Chicago

    Chicago, United States

    2 h-index

    2 publications

    72 citations

  8. Swansea University

    Swansea, United Kingdom

    2 h-index

    4 publications

    92 citations

1–8 of 107

Venues

  1. SIAM Journal on Computing

    7 publications · 686 citations

    7

    h-index

  2. Journal of the ACM

    JACM · 5 publications · 2.1K citations

    5

    h-index

  3. Journal of Symbolic Logic

    5 publications · 316 citations

    5

    h-index

  4. Choice Reviews Online

    CRO · 5 publications · 710 citations

    5

    h-index

  5. Theoretical Computer Science

    4 publications · 122 citations

    4

    h-index

1–5