Elements of the Theory of Computation

Harry R Lewis, C. P. (1981). Elements of the Theory of Computation. Prentice-Hall.

Type

Book

Intellectual base

Textbook

Year

1981

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Nondeterministic Turing machine
  • … state set and initial and accepting states, transition relation, branch semantics, halting and rejection convention, time or space measure and deterministic simulation claim are explicit. to An applied instance preserves the same invariant under changed scale, notation, jurisdiction, dataset, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:264245c7f5ba · see in the full table