Recognizing sets of labelled acyclic graphs
Paola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini · BOA (University of Milano-Bicocca) · 1992
Labelled acyclic graphs with some restrictions on the labelling function can be used to describe concurrent processes. In this paper, we show how the restrictions on the labelling functions can be related with the assumptions made on the properties of the dependence and independence relations between actions. Furthermore, we compare two different recognizing devices for a particular class of labelled acyclic graphs, i.e. finite state automata on a free partially commutative monoid and finite state asynchronous automata, and give some results on the existence of minimal automata recognizing a given language.