<電子ブック>
Turing Machines with Sublogarithmic Space / by Andrzej Szepietowski
(Lecture Notes in Computer Science. ISSN:16113349 ; 843)
版 | 1st ed. 1994. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1994 |
本文言語 | 英語 |
大きさ | VIII, 114 p : online resource |
著者標目 | *Szepietowski, Andrzej author SpringerLink (Online service) |
件 名 | LCSH:Computer science LCSH:Machine theory LCSH:Mathematical logic FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory FREE:Mathematical Logic and Foundations |
一般注記 | 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 HTTP:URL=https://doi.org/10.1007/3-540-58355-6 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540486695 |
|
電子リソース |
|
EB00225560 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | 4001090334 |
ISBN | 9783540486695 |