Infinite Series-Parallel Posets: Logic and Languages
نویسنده
چکیده
We show that a set of uniformly width-bounded infinite seriesparallel pomsets is ω-series-rational iff it is axiomatizable in monadic second order logic iff it is ω-recognizable. This extends recent work by Lodaya and Weil on sets of finite series-parallel pomsets in two aspects: It relates their notion of series-rationality to logical concepts, and it generalizes the equivalence of recognizability and series-rationality to infinite series-parallel pomsets.
منابع مشابه
Series-Parallel Posets: Algebra, Automata and Languages
In order to model concurrency, we extend automata theory from the usual word languages (sets of labelled linear orders) to sets of labelled series-parallel posets | or, equivalently, to sets of terms in an algebra with two product operations: sequential and parallel. We rst consider languages of posets having bounded width, and characterize them using depth-nilpotent algebras. Next we introduce...
متن کاملLogic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
In this paper we consider languages of labelled N -free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only if it is recognizable by a finite depth-nilpotent algebra if and only if it is bounded-width and monadic second-order definable. This extends previous results on languages of labelled N -free finite and ω-posets and ...
متن کاملA Kleene iteration for parallelism 1
This paper extends automata-theoretic techniques to unbounded parallel behaviour, as seen for instance in Petri nets. Languages are deened to be sets of (labelled) series-parallel posets | or, equivalently, sets of terms in an algebra with two product operations: sequential and parallel. In an earlier paper , we restricted ourselves to languages of posets having bounded width and introduced a n...
متن کاملComplementation of Branching Automata for Scattered and Countable Series-Parallel Posets
We prove the closure under complementation of the class of languages of scattered and countable N-free posets recognized by branching automata. The proof relies entirely on effective constructions.
متن کاملThe concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000