<p>The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitable as a text book for graduate courses and as a reference for researchers and system developers.</p>

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)

Computers & Technology

Ehrig, H.

Mahr, B.

Programming

Secaucus, New Jersey, U.S.A.: Springer Verlag"

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.

Universal Theory of Automata: A Categorical Approach (XTeubner Studienbücher Informatik) (German Edition)

Science & Math

Mathematics

Vieweg+Teubner Verlag

See the best price to sell, buy, or rent books by Ehrig, H.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Ehrig, H.