Computation and automata

>> Google Books

所蔵情報QRコード

Computation and automata / Arto Salomaa

資料種別:: 図書
出版情報:: Cambridge [Cambridgeshire] : Cambridge University Press, 1985
形態:: xiii, 282 p. ; 24 cm
シリーズ名:: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 25 <BA00064663>
著者名:: Salomaa, Arto, 1934- <DA00014570>
ISBN:: 9780521302456 [0521302455]
書誌ID:: BA00126421

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Pagination of 2003 printig: xiii, 284 p
Bibliography: p. 269-277
Includes index

主題:

Computable functions; Computational complexity; Sequential machine theory

言語:

英語

目次情報:

EditorG++s statement

Foreword G. Rozenberg

Acknowledgments

Introduction: models of computation / 1：

Rudiments of language theory / 2：

Restricted automata / 3：

Turing machines and recursive functions / 4：

Famous decision problems / 5：

Computational complexity / 6：

Cryptography / 7：

Trends in automata and language theory / 8：

Historical and bibliographical remarks

References

Index

EditorG++s statement

Foreword G. Rozenberg

Acknowledgments

Introduction: models of computation / 1：

Rudiments of language theory / 2：

Restricted automata / 3：

続きを見る

ブックレビュー

類似資料:

1 図書 Theory of automata Salomaa, Arto, 1934- Pergamon Press	7 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942- Addison-Wesley
2 図書 Automata-theoretic aspects of formal power series (: us ; : gw) Salomaa, Arto, 1934-, Soittola, Matti, 1945- Springer-Verlag	8 電子ブック Products of Automata Gécseg, Rozenberg, Grzegorz, Salomaa, Arto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Semirings, automata, languages (: us ; : gw) Kuich, Werner, 1941-, Salomaa, Arto, 1934- Springer-Verlag	9 電子ブック Automata-Theoretic Aspects of Formal Power Series Salomaa, Salomaa, Arto, Soittola, Matti SpringerLink Books - AutoHoldings, Springer New York
4 図書 Computability, complexity, logic Börger, Egon, 1946- North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.	10 電子ブック Semirings, Automata, Languages Kuich, Rozenberg, Grzegorz, Salomaa, Arto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Introduction to automata theory, languages, and computation (: hbk ; : student access kit ; : Pearson international ed.) Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942- Pearson Addison-Wesley	11 図書 Formal languages Salomaa, Arto, 1934- Academic Press
6 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942- Addison-Wesley	12 図書 Tree automata Gécseg, Ferenc, 1939-, Steinby, Magnus Akadémiai Kiadó