Artículos relacionados a Universal Theory of Automata: A Categorical Approach...

Universal Theory of Automata: A Categorical Approach (XTeubner Studienbücher Informatik) - Tapa blanda

Ehrig, H.

 
9783519020547: Universal Theory of Automata: A Categorical Approach (XTeubner Studienbücher Informatik)
Tapa blanda
ISBN 10: 3519020548 ISBN 13: 9783519020547
Editorial: Vieweg+Teubner Verlag, 1974

Sinopsis

Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The frame­ work for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic no­ tions of structural mathematics. However, some knowledge of discrete probability distributions, linear algebra and general topology would be useful in understanding the corre­ sponding applications and in having a better background for the general theory. All our constructions and results are motivated and interpreted carefully with respect to the classical theory of deterministic, partial, linear, topolog­ ical, nondeterministic, relational and stochastic automata. The book is mainly devoted to students of theoretical com­ puter science or mathematics and can be used as a textbook in graduate courses or seminars. On the other hand it will also be useful for many other people, who are concerned with the interesting new research area of category theory applied to computation and control.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The frame­ work for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic no­ tions of structural mathematics. However, some knowledge of discrete probability distributions, linear algebra and general topology would be useful in understanding the corre­ sponding applications and in having a better background for the general theory. All our constructions and results are motivated and interpreted carefully with respect to the classical theory of deterministic, partial, linear, topolog­ ical, nondeterministic, relational and stochastic automata. The book is mainly devoted to students of theoretical com­ puter science or mathematics and can be used as a textbook in graduate courses or seminars. On the other hand it will also be useful for many other people, who are concerned with the interesting new research area of category theory applied to computation and control.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Vieweg+Teubner Verlag
Año de publicación
1974
Idioma
Alemán
ISBN 10 
3519020548
ISBN 13 
9783519020547
Encuadernación
Tapa blanda
Número de páginas
244
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania