Concepedia

Nondeterministic Turing Machines

A Nondeterministic Turing Machine is a theoretical computational model that extends the standard Turing machine by allowing multiple possible transitions from a given state and tape symbol, thereby enabling nondeterministic computation paths that explore all potential decisions simultaneously in parallel.

167

Publications

18.3K

Citations

222

Authors

151

Institutions

Publications per year

2017–2026

2

Parents

Publications

167

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

, , +17

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

, , +17

Parallelism in random access machines

Steven Fortune, James Wyllie · 1978 · 885 citations

, , +15

On the Computational Power of Neural Nets

Hava T. Siegelmann, Eduardo D. Sontag · Journal of Computer and System Sciences · 1995 · 701 citations

, , +16

Computational Complexity of Probabilistic Turing Machines

John Gill · SIAM Journal on Computing · 1977 · 694 citations

, , +17

1–5 of 167

Authors

222

  1. ÓH
    Óscar H. Ibarra

    University of California, Santa Barbara, United States

    8 publications · 252 citations

    8

    h-index

  2. PC
    Patrick C. Fischer

    Vanderbilt University, United States

    5 publications · 260 citations

    5

    h-index

  3. RV
    Ronald V. Book

    University of California, Santa Barbara, United States

    5 publications · 339 citations

    5

    h-index

  4. GS
    Georg Schnitger

    Goethe University Frankfurt, Germany

    4 publications · 67 citations

    4

    h-index

  5. JS
    Joel Seiferas

    University of Rochester, United States

    4 publications · 71 citations

    4

    h-index

1–5 of 222

Institutions

151

  1. Cornell University

    Ithaca, United States

    10 h-index

    12 publications

    762 citations

  2. University of Minnesota

    Minneapolis, United States

    5 h-index

    8 publications

    554 citations

  3. Rutgers, The State University of New Jersey

    New Brunswick, United States

    5 h-index

    7 publications

    2K citations

  4. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    4 h-index

    7 publications

    3.9K citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    6 publications

    380 citations

  6. University of Washington

    Seattle, United States

    4 h-index

    6 publications

    541 citations

  7. IBM (United States)

    Armonk, United States

    4 h-index

    5 publications

    611 citations

  8. University of Electro-Communications

    Tokyo, Japan

    4 h-index

    7 publications

    219 citations

1–8 of 151

Venues

  1. SIAM Journal on Computing

    22 publications · 2.3K citations

    17

    h-index

  2. Theoretical Computer Science

    14 publications · 435 citations

    14

    h-index

  3. Journal of Computer and System Sciences

    10 publications · 1K citations

    10

    h-index

  4. Journal of the ACM

    JACM · 10 publications · 1.7K citations

    10

    h-index

  5. International Journal of Foundations of Computer Science

    IJFCS · 4 publications · 115 citations

    4

    h-index

1–5