Alternation and Bounded Concurrency Are Reverse Equivalent

AbstractNumerous models of concurrency have been considered in the framework of automata. Among the more interesting concurrency models are classical nondeterminism and pure concurrency, the two facets of alternation, and the bounded concurrency model. Bounded concurrency was previously considered to be similar to nondeterminism and pure concurrency in the sense of the succinctness of automata augmented with these features. In this paper we show that, when viewed more broadly, the power (of succinctness) of bounded concurrency is in fact most similar to the power of alternation. Our contribution is that, just like nondeterminism and pure concurrency are “complement equivalent,” bounded concurrency and alternation are “reverse equivalent” over finite automata. The reverse equivalence is expressed by the existence of polynomial transformations, in both directions, between bounded concurrency and alternation for the reverse of the language accepted by the other. It follows, that bounded concurrency is double-exponentially more succinct than DFAs with respect to reverse, while alternation only saves one exponent. This is as opposed to the direct case where alternation saves two exponents and bounded concurrency saves only one. An immediate corollary is that for languages over a one-letter alphabet, bounded concurrency and alternation are equivalent. We complete the picture of succinctness results for these languages by considering the different combinations of the concurrency models using additional lower bounds

A Rice-style theorem for parallel automata

AbstractWe present a general result, similar to Rice’s theorem, concerning the complexity of detecting properties on finite automata enriched by bounded cooperative concurrency, such as statecharts and abstract parallel automata, which we denote by CFAs (Concurrent Finite Automata). On one extreme, the complexity of detecting non-trivial properties that preserve equivalence of machines, i.e. properties of the accepted language, on finite automata, can be as little as O(1). On the other extreme, Rice’s theorem states that all such properties on Turing machines are undecidable. We state that all the non-trivial properties of the regular (or ω-regular) languages, are PSPACE-hard on CFAs with ϵ-moves and on CFAs without ϵ-moves accepting infinite words. We also extend this result to CFAs without ϵ-moves accepting finite words that satisfy a condition that holds for many properties