ISSN:
1572-9095
Keywords:
18A99
;
68Q99
;
Formal languages/grammars
;
formal systems
;
special categories
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract The aim of this paper is to give an introduction how to use categorical methods in a specific field of computer science: The field of high-level-replacement systems has its roots in the well-established theories of formal languages, term rewriting, Petri nets, and graph grammars playing a fundamental role in computer science. More precisely, it is a generalization of the algebraic approach to graph grammars which is based on gluing constructions for graphs defined as pushouts in the category of graphs. The categorical theory of high-level-replacement systems is suitable for the dynamic handling of a large variety of high-level structures in computer science including different kinds of graphs and algebraic specifications. In this paper we discuss the basic principles and techniques from category theory applied in the field of high-level-replacement systems and present some basic results together with the corresponding categorical proof techniques.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00872984
Permalink