next up previous contents
Next: Analysis Up: Algebra and Geometry Previous: 1.3. Topology and Dynamical

1.4. Theoretical Foundations of Computer Sciences

Programme leader: G.Rozenberg

Theoretical foundations of computer science. Three important areas of research are:
- The classic theory of formal languages. In particular such fields are investigated as: grammars (contextual grammars, splicing); automata and transducers; combinatorial structure of formal languages; models for natural computation; attribute grammars.
- The theory of graphs and graph transformations. In particular the theory of node-rewriting graph grammars, hypergraph grammars, the logical description of graph transformations, and the hierarchical decomposition of graphs using 2-structures.
- The theory of concurrent processes. In particular Petri nets, traces, vector controlled concurrent systems, transition systems, and the application of Petri nets to model object oriented systems.

Fri Mar 20 16:01:06 MET 1998