Abstract:Axiomatization and expressibility problems for Milner's process semantics (1984) of regular expressions modulo bisimilarity have turned out to be difficult for the full class of expressions with deadlock 0 and empty step~1. We report on a phenomenon that arises from the added presence of 1 when 0 is available, and that brings a crucial reason for this difficulty into focus. To wit, while interpretations of 1-free regular expressions are closed under bisimulation collapse, this is not the case for the interpretations of arbitrary regular expressions. Process graph interpretations of 1-free regular expressions satisfy the loop existence and elimination property LEE, which is preserved under bisimulation collapse. These features of LEE were applied for showing that an equational proof system for 1-free regular expressions modulo bisimilarity is complete, and that it is decidable in polynomial time whether a process graph is bisimilar to the interpretation of a 1-free regular expression. While interpretations of regular expressions do not satisfy the property LEE in general, we show that LEE can be recovered by refined interpretations as graphs with 1-transitions refined interpretations with 1-transitions (which are similar to silent steps for automata). This suggests that LEE can be expedient also for the general axiomatization and expressibility problems. But a new phenomenon emerges that needs to be addressed: the property of a process graph `to can be refined into a process graph with 1-transitions and with LEE' is not preserved under bisimulation collapse. We provide a 10-vertex graph with two 1-transitions that satisfies LEE, and in which a pair of bisimilar vertices cannot be collapsed on to each other while preserving the refinement property. This implies that the image of the process interpretation of regular expressions is not closed under bisimulation collapse.

Semilinearity and Context-Freeness of Languages Accepted by Valence Automata

Complexity of Problems of Commutative Grammars

Rational subsets of polycyclic monoids and valence automata

On the capabilities of grammars, automata, and transducers controlled by monoids

Parikh's theorem for infinite alphabets

The Emptiness Problem for Valence Automata over Graph Monoids

The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse

Anti-Context-Free languages

Algebraic Language Theory with Effects

Free products of semigroups and monoids with a deterministic context-free word problem

On Some Complexity Results for Even Linear Languages

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

On the expressiveness of Parikh automata and related models

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors

The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages

The complexity of separability for semilinear sets and Parikh automata

Quantum automata and languages of finite index

On the reversibility and the closed image property of linear cellular automata

On some representations of context-free languages

Silent Transitions in Automata with Storage