000K  utf8
1100  2008$c2008-07-23
1500  eng
2050  urn:nbn:de:hbz:465-20080723-132824-1
3000  Bruggink, H. J. Sander
3010  König, Barbara
4000  On the recognizability of Arrow and Graph Languages  [Bruggink, H. J. Sander]
4209  In diesem Papier geben wir eine kategoriebasierte Charakterisierung von Erkennbarkeit. Eine erkennbare Teilmenge von Pfeilen wird mit einem Funktor in die Kategorie von Relationen auf Mengen definiert. Dies kann als Verallgemeinerung eines endlichen Automaten gesehen werden. Im zweiten Teil des Papiers wenden wir die Theorie auf Graphen an, und wir zeigen, dass unser Ansatz eine Verallgemeinerung der Courcelles erkennbaren Graphsprachen ist.
4209  In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is de ned via a functor into the category of relations on sets, which can be seen as a straightforward generalization of a nite automaton. In the second part of the paper we apply the theory to graphs, and we show that our approach is a generalization of Courcelle’s recognizable graph languages.
4950  https://nbn-resolving.org/urn:nbn:de:hbz:465-20080723-132824-1$xR$3Volltext$534
4961  https://duepublico2.uni-due.de/receive/duepublico_mods_00018498
5010  004
5051  004
5550  Graph Languages
5550  Recognizability