Games Played on Finite Graphs
Bakhadyr Khoussainov, Anil Nerode · Birkhäuser Boston eBooks · 2001
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. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.