Structural Theory of Automata, Semigroups, and Universal Algebra

Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra Montreal, Quebec, Canada 7–18 July 2003

  • Valery B. Kudryavtsev
  • Ivo G. Rosenberg
  • Martin Goldstein
Conference proceedings

DOI: 10.1007/1-4020-3817-8

Part of the NATO Science Series II: Mathematics, Physics and Chemistry book series (NAII, volume 207)

Table of contents

  1. Front Matter
    Pages i-xxii
  2. Jorge Almeida
    Pages 1-45
  3. Joel Berman
    Pages 47-76
  4. Teruo Hikita, Ivo G. Rosenberg
    Pages 109-147
  5. Kalle Kaarli, László Márki
    Pages 169-180
  6. Andrei Krokhin, Andrei Bulatov, Peter Jeavons
    Pages 181-213
  7. V. B. Kudryavtsev
    Pages 215-240
  8. Alexander Letichevsky
    Pages 241-272
  9. Ralph Mckenzie, John Snow
    Pages 273-329
  10. Lev N. Shevrin
    Pages 331-380
  11. Back Matter
    Pages 433-434

About these proceedings

Introduction

Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the three domains of the title. Developing them was the main purpose of the NATO ASI summerschool held in Montreal in 2003. Although some connections, for example between semigroups and automata, were known for a long time, developing them and surveying them in one volume is novel and hopefully stimulating for the future. Another aspect is the emphasis on the structural theory of automata that studies ways to contstruct big automata from small ones. The volume also has contributions on top current research or surveys in the three domains. One contribution even links clones of universal algebra with the computational complexity of computer science. Three contributions introduce the reader to research in the former East block.

Keywords

algebra model theory semigroup transformation

Editors and affiliations

  • Valery B. Kudryavtsev
    • 1
  • Ivo G. Rosenberg
    • 2
  • Martin Goldstein
    • 3
  1. 1.Department of Mathematical Theory of Intelligent Systems, Faculty of Mechanics and MathematicsM.V. Lomonosov Moscow State UniversityMoscowRussia
  2. 2.University of MontrealQuebecCanada
  3. 3.Department of Mathematics and StatisticsUniversity of MontrealQuebecCanada

Bibliographic information

  • Copyright Information Springer 2005
  • Publisher Name Springer, Dordrecht
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-1-4020-3815-0
  • Online ISBN 978-1-4020-3817-4
  • Series Print ISSN 1568-2609