03388nam 22005655 450 99646611290331620200703043022.03-540-48669-010.1007/3-540-58355-6(CKB)1000000000234160(SSID)ssj0000327440(PQKBManifestationID)11268703(PQKBTitleCode)TC0000327440(PQKBWorkID)10301358(PQKB)11009333(DE-He213)978-3-540-48669-5(PPN)155213814(EXLCZ)99100000000023416020121227d1994 u| 0engurnn|008mamaatxtccrTuring Machines with Sublogarithmic Space[electronic resource] /by Andrzej Szepietowski1st ed. 1994.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1994.1 online resource (VIII, 114 p.) Lecture Notes in Computer Science,0302-9743 ;843Bibliographic Level Mode of Issuance: Monograph3-540-58355-6 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.Lecture Notes in Computer Science,0302-9743 ;843Computer logicMathematical logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computer logic.Mathematical logic.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.511.3Szepietowski Andrzejauthttp://id.loc.gov/vocabulary/relators/aut714670BOOK996466112903316Turing machines with sublogarithmic space1382012UNISA