J
Juris Hartmanis
Researcher at Cornell University
Publications - 171
Citations - 10901
Juris Hartmanis is an academic researcher from Cornell University. The author has contributed to research in topics: Structural complexity theory & Computational complexity theory. The author has an hindex of 46, co-authored 171 publications receiving 10705 citations. Previous affiliations of Juris Hartmanis include National Research Council & General Electric.
Papers
More filters
Journal ArticleDOI
On the Recognition of Primes by Automata
Juris Hartmanis,H. Shank +1 more
TL;DR: It is shown that the linearly bounded automaton can accept the set of primes, and it is conjectured that no automaton whose memory grows less rapidly can recognize the setof primes.
Journal ArticleDOI
Some dangers in state reduction of sequential machines
TL;DR: It is shown that state reduction can destroy realizations of a given sequential machine from sets of smaller machines and thus lead to a sequential machine that is harder to realize.
Journal ArticleDOI
On Gödel speed-up and succinctness of language representations
TL;DR: The similarities and differences between Godel's result about non-recursive shortening of proofs of formal systems by additional axioms and the corresponding results about the succinctness of different representations of languages are discussed.
Journal ArticleDOI
Robust machines accept easy sets
TL;DR: It is proved that robust machines squander their powerful nondeterministic oracle access in all relativizations—relative to any oracle A , their languages and properties can be computed in P NP A .