Hopcroft
Proper noun
Meaning
Hopcroft
A surname.
Examples
Alternative definition Chomsky reduced form Another way : 92 Hopcroft et al.
For example: "A Turing machine can simulate any type of subroutine found in programming languages, including recursive procedures and any of the known parameter-passing mechanisms" (Hopcroft and Ullman p. 157).
Hopcroft and Ullman call this composite the "instantaneous description" and follow the Turing convention of putting the "current state" (instruction-label, m-configuration) to the left of the scanned symbol (p. 149).
Hopcroft & Ullman (1979), p.134-135, Theorem 6.4 Decidable problems There are algorithms to decide whether a context-free language is empty, and whether it is finite.
Awards Tarjan received the Turing Award jointly with John Hopcroft in 1986.
Models equivalent to the Turing machine model seeAlso Many machines that might be thought to have more computational capability than a simple universal Turing machine can be shown to have no more power (Hopcroft and Ullman p. 159, cf Minsky (1967)).