On process languages in finite graphs
Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part XIII, Tome 248 (1998), pp. 205-215
Voir la notice de l'article provenant de la source Math-Net.Ru
Processes in an arbitrary graph and languages of processes provide descriptions of processes in pipeline systems. The properties of syntactic congruences of process languages are studied. A necessary and
sufficient condition for the finiteness of a syntactic congruence is obtained. The set of finite languages of the trace monoid, which corresponds to finite processes in the graph, is considered. The unrecognizability of this set by finite automata is established.
@article{ZNSL_1998_248_a9,
author = {K. V. Shakhbazyan and Yu. G. Shoukouryan},
title = {On process languages in finite graphs},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {205--215},
publisher = {mathdoc},
volume = {248},
year = {1998},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1998_248_a9/}
}
K. V. Shakhbazyan; Yu. G. Shoukouryan. On process languages in finite graphs. Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part XIII, Tome 248 (1998), pp. 205-215. http://geodesic.mathdoc.fr/item/ZNSL_1998_248_a9/