Turing Machines with Sublogarithmic Space [electronic resource] /

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.

Saved in:
Bibliographic Details
Main Authors: Szepietowski, Andrzej. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
Subjects:Computer science., Computer logic., Mathematical logic., Computer Science., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Mathematical Logic and Foundations.,
Online Access:http://dx.doi.org/10.1007/3-540-58355-6
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:208528
record_format koha
spelling KOHA-OAI-TEST:2085282018-07-30T23:39:45ZTuring Machines with Sublogarithmic Space [electronic resource] / Szepietowski, Andrzej. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1994.engThis 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.Basic Notions -- Languages acceptable with logarithmic space -- Examples of languages acceptable with sublogarithmic space -- Lower bounds for accepting non-regular languages -- Space constructible functions -- Halting property and closure under complement -- Strong versus weak mode of space complexity -- Padding -- Deterministic versus nondeterministic Turing machines -- Space hierarchy -- Closure under concatenation -- Alternating hierarchy -- Independent complement -- Other models of Turing machines.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.Computer science.Computer logic.Mathematical logic.Computer Science.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/3-540-58355-6URN:ISBN:9783540486695
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computer logic.
Mathematical logic.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science.
Computer logic.
Mathematical logic.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
spellingShingle Computer science.
Computer logic.
Mathematical logic.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science.
Computer logic.
Mathematical logic.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Szepietowski, Andrzej. editor.
SpringerLink (Online service)
Turing Machines with Sublogarithmic Space [electronic resource] /
description 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.
format Texto
topic_facet Computer science.
Computer logic.
Mathematical logic.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
author Szepietowski, Andrzej. editor.
SpringerLink (Online service)
author_facet Szepietowski, Andrzej. editor.
SpringerLink (Online service)
author_sort Szepietowski, Andrzej. editor.
title Turing Machines with Sublogarithmic Space [electronic resource] /
title_short Turing Machines with Sublogarithmic Space [electronic resource] /
title_full Turing Machines with Sublogarithmic Space [electronic resource] /
title_fullStr Turing Machines with Sublogarithmic Space [electronic resource] /
title_full_unstemmed Turing Machines with Sublogarithmic Space [electronic resource] /
title_sort turing machines with sublogarithmic space [electronic resource] /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1994
url http://dx.doi.org/10.1007/3-540-58355-6
work_keys_str_mv AT szepietowskiandrzejeditor turingmachineswithsublogarithmicspaceelectronicresource
AT springerlinkonlineservice turingmachineswithsublogarithmicspaceelectronicresource
_version_ 1756268534677110784