Abstract
Purchase PDF (358 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (1)
Purchase PDF (877 K)
doi:10.1016/j.tcs.2004.03.030 
Copyright © 2003 Elsevier B.V. All rights reserved.
EMSO-logic and automata related to homogeneous flow event structures*1
Available online 2 April 2004.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
In this paper we study the recognizability and definability on existential monadic second order (EMSO) logic of languages related to homogeneous flow event structures (HFES), i.e., the languages of configurations (posets) and the languages of proving sequences (words).
An HFES is specified by an arbitrary poset G = (V,
) and a finite FES F as a result of copying F in vertices of G with additional homogeneous flow and conflict relations on the events of adjacent vertices.
The problem is: whether the sets of configurations of HFES and languages of proving sequences are EMSO-definable.
Results refer to the domains of linear orders, binary trees, and two-dimensional grids. If G is the domain of linear order or binary tree then the recognizability and EMSO-definability of configurations of HFES hold. We give some classes of HFES where the recognizability does not hold for the two-dimensional grid.
The EMSO-definability of proving sequences is proved for all considered classes of HFES.
Author Keywords: Flow event structure; Finite automata; EMSO-logic
