Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This comprehensive monograph investigates the computational power of Turing machines with sublogarithmic space. The studies are devoted to the Turing machine model introduced by Stearns, Hartmanis, and Lewis (1965) with a two-way read-only input tape and a separate two-way read-write work tape. The book presents the key results on space complexity, also as regards the classes of languages acceptable, under the perspective of a sublogarithmic number of cells used during computation. It originates from courses given by the author at the Technical University of Gdansk and Gdansk University in 1991 and 1992. It was finalized in 1994 when the author visited Paderborn University and includes the most recent contributions to the field.

Berekeningen [Ingewikkeldheid van ] --- Calcul [Complexité de ] --- Complexité de calcul --- Computational complexity --- Ingewikkeldheid van berekeningen --- Machines de Turing --- Máquinas de Turing --- Turing [Machines de ] --- Turing machines --- Turingmachines --- Turingmaschinen --- Logic design. --- Computer science. --- Logic, Symbolic and mathematical. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory