The Resource Computation and automata, Arto Salomaa, (electronic resource)

Computation and automata, Arto Salomaa, (electronic resource)

Label
Computation and automata
Title
Computation and automata
Statement of responsibility
Arto Salomaa
Creator
Subject
Genre
Language
  • eng
  • eng
Summary
In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science
Member of
Cataloging source
MiAaPQ
http://library.link/vocab/creatorName
Salomaa, Arto
Dewey number
511
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA9.59
LC item number
.S25 1985
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Encyclopedia of mathematics and its applications
  • Encyclopedia of Mathematics and its Applications
Series volume
  • v. 25
  • v.25
http://library.link/vocab/subjectName
  • Computable functions
  • Computational complexity
  • Sequential machine theory
Label
Computation and automata, Arto Salomaa, (electronic resource)
Instantiates
Publication
Note
Includes index
Bibliography note
Bibliography: p. 269-277
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
  • Cover; Half Title; Series Page; Title; Copyright; Contents; Editor's Statement; Foreword; Acknowledgments; Chapter 1 Introduction: Models of Computation; Chapter 2 Rudiments of Language Theory; 2.1. LANGUAGES AND REWRITING SYSTEMS; 2.2. GRAMMARS; 2.3. POST SYSTEMS; 2.4. MARKOV ALGORITHMS; 2.5. L SYSTEMS; EXERCISES; Chapter 3 Restricted Automata; 3.1. FINITE AUTOMATA; 3.2. KLEENE CHARACTERIZATION; 3.3. GENERALIZED SEQUENTIAL MACHINES; 3.4. PUMPING LEMMAS; 3.5. PUSHDOWN AUTOMATA; EXERCISES; Chapter 4 Turing Machines and Recursive Functions; 4.1. A GENERAL MODEL OF COMPUTATION
  • 4.2. PROGRAMMING IN MACHINE LANGUAGE, CHURCH'S THESIS, AND UNIVERSAL MACHINES4.3. RECURSION THEOREM AND BASIC UNDECIDABILITY RESULTS; 4.4. RECURSIVE AND RECURSIVELY ENUMERABLE SETS AND LANGUAGES; 4.5. REDUCIBILITIES AND CREATIVE SETS; 4.6. UNIVERSALITY IN TERMS OF COMPOSITION; EXERCISES; Chapter 5 Famous Decision Problems; 5.1. POST CORRESPONDENCE PROBLEM AND APPLICATIONS; 5.2. HILBERT'S TENTH PROBLEM AND CONSEQUENCES: MOST QUESTIONS CAN BE EXPRESSED IN TERMS OF POLYNOMIALS; 5.3. WORD PROBLEMS AND VECTOR ADDITION SYSTEMS; EXERCISES; Chapter 6 Computational Complexity
  • 6.1. BASIC IDEAS AND AXIOMATIC THEORY6.2. COMPLEXITY CLASSES, GAP, AND COMPRESSION THEOREMS; 6.3. SPEEDUP THEOREM: FUNCTIONS WITHOUT BEST ALGORITHMS; 6.4. TIME BOUNDS, THE CLASSES CP AND MCP, AND MCP-COMPLETE PROBLEMS; 6.5. PROVABLY INTRACTABLE PROBLEMS; 6.6. SPACE MEASURES AND TRADE-OFFS; EXERCISES; Chapter 7 Cryptography; 7.1. BACKGROUND AND CLASSICAL CRYPTOSYSTEMS; 7.2. PUBLIC KEY CRYPTOSYSTEMS; 7.3. KNAPSACK SYSTEMS; 7.4. RSA SYSTEM; 7.5. PROTOCOLS FOR SOLVING SEEMINGLY IMPOSSIBLE PROBLEMS IN COMMUNICATION; EXERCISES; Chapter 8 Trends in Automata and Language Theory; 8.1. PETRI NETS
  • 8.2. SIMILAR GRAMMARS AND LANGUAGES8.3. SYSTOLIC AUTOMATA; EXERCISES; Historical and Bibliographical Remarks; References; Index
Dimensions
unknown
Extent
1 online resource (300 p.)
Form of item
online
Isbn
9781107087583
Media category
computer
Media type code
c
Specific material designation
remote
System control number
  • (CKB)2670000000343944
  • (EBL)1179138
  • (SSID)ssj0000857562
  • (PQKBManifestationID)11448829
  • (PQKBTitleCode)TC0000857562
  • (PQKBWorkID)10874033
  • (PQKB)10404814
  • (UkCbUP)CR9781107325630
  • (MiAaPQ)EBC1179138
  • (EXLCZ)992670000000343944
Label
Computation and automata, Arto Salomaa, (electronic resource)
Publication
Note
Includes index
Bibliography note
Bibliography: p. 269-277
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
  • Cover; Half Title; Series Page; Title; Copyright; Contents; Editor's Statement; Foreword; Acknowledgments; Chapter 1 Introduction: Models of Computation; Chapter 2 Rudiments of Language Theory; 2.1. LANGUAGES AND REWRITING SYSTEMS; 2.2. GRAMMARS; 2.3. POST SYSTEMS; 2.4. MARKOV ALGORITHMS; 2.5. L SYSTEMS; EXERCISES; Chapter 3 Restricted Automata; 3.1. FINITE AUTOMATA; 3.2. KLEENE CHARACTERIZATION; 3.3. GENERALIZED SEQUENTIAL MACHINES; 3.4. PUMPING LEMMAS; 3.5. PUSHDOWN AUTOMATA; EXERCISES; Chapter 4 Turing Machines and Recursive Functions; 4.1. A GENERAL MODEL OF COMPUTATION
  • 4.2. PROGRAMMING IN MACHINE LANGUAGE, CHURCH'S THESIS, AND UNIVERSAL MACHINES4.3. RECURSION THEOREM AND BASIC UNDECIDABILITY RESULTS; 4.4. RECURSIVE AND RECURSIVELY ENUMERABLE SETS AND LANGUAGES; 4.5. REDUCIBILITIES AND CREATIVE SETS; 4.6. UNIVERSALITY IN TERMS OF COMPOSITION; EXERCISES; Chapter 5 Famous Decision Problems; 5.1. POST CORRESPONDENCE PROBLEM AND APPLICATIONS; 5.2. HILBERT'S TENTH PROBLEM AND CONSEQUENCES: MOST QUESTIONS CAN BE EXPRESSED IN TERMS OF POLYNOMIALS; 5.3. WORD PROBLEMS AND VECTOR ADDITION SYSTEMS; EXERCISES; Chapter 6 Computational Complexity
  • 6.1. BASIC IDEAS AND AXIOMATIC THEORY6.2. COMPLEXITY CLASSES, GAP, AND COMPRESSION THEOREMS; 6.3. SPEEDUP THEOREM: FUNCTIONS WITHOUT BEST ALGORITHMS; 6.4. TIME BOUNDS, THE CLASSES CP AND MCP, AND MCP-COMPLETE PROBLEMS; 6.5. PROVABLY INTRACTABLE PROBLEMS; 6.6. SPACE MEASURES AND TRADE-OFFS; EXERCISES; Chapter 7 Cryptography; 7.1. BACKGROUND AND CLASSICAL CRYPTOSYSTEMS; 7.2. PUBLIC KEY CRYPTOSYSTEMS; 7.3. KNAPSACK SYSTEMS; 7.4. RSA SYSTEM; 7.5. PROTOCOLS FOR SOLVING SEEMINGLY IMPOSSIBLE PROBLEMS IN COMMUNICATION; EXERCISES; Chapter 8 Trends in Automata and Language Theory; 8.1. PETRI NETS
  • 8.2. SIMILAR GRAMMARS AND LANGUAGES8.3. SYSTOLIC AUTOMATA; EXERCISES; Historical and Bibliographical Remarks; References; Index
Dimensions
unknown
Extent
1 online resource (300 p.)
Form of item
online
Isbn
9781107087583
Media category
computer
Media type code
c
Specific material designation
remote
System control number
  • (CKB)2670000000343944
  • (EBL)1179138
  • (SSID)ssj0000857562
  • (PQKBManifestationID)11448829
  • (PQKBTitleCode)TC0000857562
  • (PQKBWorkID)10874033
  • (PQKB)10404814
  • (UkCbUP)CR9781107325630
  • (MiAaPQ)EBC1179138
  • (EXLCZ)992670000000343944

Library Locations

  • Albert D. Cohen Management LibraryBorrow it
    181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA
    49.807878 -97.129961
  • Architecture/Fine Arts LibraryBorrow it
    84 Curry Place, Winnipeg, MB, CA
    49.807716 -97.136226
  • Archives and Special CollectionsBorrow it
    25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Bibliothèque Alfred-Monnin (Université de Saint-Boniface)Borrow it
    200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA
    49.888861 -97.119735
  • Bill Larson Library (Grace Hospital)Borrow it
    300 Booth Drive, G-227, Winnipeg, MB, R3J 3M7, CA
    49.882400 -97.276436
  • Carolyn Sifton - Helene Fuld Library (St. Boniface General Hospital)Borrow it
    409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA
    49.883388 -97.126050
  • Concordia Hospital LibraryBorrow it
    1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA
    49.913252 -97.064683
  • Donald W. Craik Engineering LibraryBorrow it
    75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA
    49.809053 -97.133292
  • E.K. Williams Law LibraryBorrow it
    224 Dysart Road, Winnipeg, MB, R3T 5V4, CA
    49.811829 -97.131017
  • Eckhardt-Gramatté Music LibraryBorrow it
    136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA
    49.807964 -97.132222
  • Elizabeth Dafoe LibraryBorrow it
    25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Fr. H. Drake Library (St. Paul's College)Borrow it
    70 Dysart Road, Winnipeg, MB, R3T 2M6, CA
    49.810605 -97.138184
  • J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it
    2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA
    49.878000 -97.235520
  • Libraries Annex (not open to the public; please see web page for details)Borrow it
    25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Neil John Maclean Health Sciences LibraryBorrow it
    727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA
    49.903563 -97.160554
  • Sciences and Technology LibraryBorrow it
    186 Dysart Road, Winnipeg, MB, R3T 2M8, CA
    49.811526 -97.133257
  • Seven Oaks General Hospital LibraryBorrow it
    2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA
    49.955177 -97.148865
  • Sister St. Odilon Library (Misericordia Health Centre)Borrow it
    99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA
    49.879592 -97.160425
  • St. John's College LibraryBorrow it
    92 Dysart Road, Winnipeg, MB, R3T 2M5, CA
    49.811242 -97.137156
  • Victoria General Hospital LibraryBorrow it
    2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA
    49.806755 -97.152739
  • William R Newman Library (Agriculture)Borrow it
    66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA
    49.806936 -97.135525
Processing Feedback ...