Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

John C. Warkentin

dblp:75/3189 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 1974
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Computational complexity · 87% Automata and formal languages · 13%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity
computational models
0.011972
Predecessor Machines and Regressing Functions · STOC 1972
Computational complexity › computational models
random access machines
0.011972
Predecessor Machines and Regressing Functions · STOC 1972
Automata and formal languages › turing machines
linear-bounded automata
0.011972
Predecessor Machines and Regressing Functions · STOC 1972
YearPublicationVenuePosition
1974 Predecessor Machines
Patrick C. Fischer, John C. Warkentin
J. Comput. Syst. Sci.2
1972 Predecessor Machines and Regressing Functions
abstract
A predecessor machine is a random-access machine with a predecessor operation (i.e., an instruction which subtracts 1 from the contents of a memory cell), but with no operation which can increase the contents of a cell. A regressing function is a total function which never yields an output larger than the maximum of its inputs and a constant. Unlike the situation for random-access machines with a successor operation, it does not matter whether or not predecessor machines with loop control also have conditional transfer instructions. Furthermore, the class of functions computable by predecessor loop machines consists of exactly those regressing functions which are computable by a deterministic linear-bounded automaton. Some generalized predecessor machines are also considered.
John C. Warkentin, Patrick C. Fischer
STOC1