Games Played on Finite Graphs

  • Bakhadyr Khoussainov
  • Anil Nerode
Chapter
Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 21)

Abstract

studying computations one can follow several approaches. One approach can generally be called a computational model approach. In this approach one defines the notion of a computational model, gives exact mathematical definition to the notion of computation, and then studies languages recognized by these models. for instance, this is what we did in the previous two chapters: we defined finite automata, Büchi automata, and computations on these machines and studied Languages recognized by these machines and their properties. Another approach can generally be called an algebraic approach. In this approach one identifies computational models with finite algebras and employs known algebraic results in order study computations. This is an example of a fruitful interaction of two distinct areas in which notions from the theory of computations interplay with the notions of algebra, and lead to new ideas and concepts. This approach is not in the scope of this book, and hence we will not discuss it.

Keywords

Dura Nite Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Bakhadyr Khoussainov
    • 1
  • Anil Nerode
    • 2
  1. 1.Department of Computer ScienceThe University of AucklandAucklandNew Zealand
  2. 2.Department of MathematicsCornell UniversityIthacaUSA

Personalised recommendations