Algebraic Structures in Automata and Database Theory
by B. I. PlotkinProduct Details
- ISBN-13:
- 9789810209360
- Publisher:
- World Scientific Publishing Company, Incorporated
- Publication date:
- 12/28/1992
- Pages:
- 296
- Product dimensions:
- 6.36(w) x 8.90(h) x 0.80(d)
Table of Contents
| Preface | ||
| Preliminaries | 1 | |
| 1. Sets | 1 | |
| 2. [Omega]-algebras | 2 | |
| 3. Main structures | 4 | |
| 4. Representations | 7 | |
| 5. Categories | 9 | |
| Ch. 1 | Pure Automata | 11 |
| 1.1 | Basic concepts | 11 |
| 1.2 | Universal automata | 27 |
| 1.3 | Moore automata | 36 |
| 1.4 | Free pure automata | 49 |
| 1.5 | Generalizations | 55 |
| Ch. 2 | Constructions and Decomposition of Pure Automata | 73 |
| 2.1 | Constructions | 74 |
| 2.2 | Decomposition of finite pure automata | 89 |
| Ch. 3 | Linear Automata | 105 |
| 3.1 | Basic concepts | 105 |
| 3.2 | Constructions. Decomposition of automata | 120 |
| 3.3 | Automorphisms of linear automata and biautomata | 146 |
| Ch. 4 | Varieties of Automata | 155 |
| 4.1 | Identities of pure automata | 155 |
| 4.2 | Varieties of pure automata | 166 |
| 4.3 | Identities of linear automata and biautomata | 179 |
| 4.4 | Varieties of biautomata | 191 |
| 4.5 | Quasivarieties of automata | 216 |
| Ch. 5 | Automata Model of Database | 237 |
| 5.1 | *-automata | 237 |
| 5.2 | Database scheme, Halmos algebras | 241 |
| 5.3 | Database model | 247 |
| 5.4 | Homomorphisms of databases | 251 |
| 5.5 | Constructive databases | 255 |
| 5.6 | Constructions in database theory | 263 |
| Bibliography | 269 | |
| Index | 277 |
Customer Reviews
Average Review: