Index appearance record with preorders

Transforming $$\omega $$ ω -automata into parity automata is traditionally done using appearance records. We present an efficient variant of this idea, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and show that our method produces significantly smaller automata than previous approaches.

Interface Automata for Shared Memory

Interface theories based on Interface Automata (IA) are formalisms for the component-based specification of concurrent systems. Extensions of their basic synchronization mechanism permit the modelling of data, but are studied in more complex settings involving modal transition systems or do not abstract from internal computation. In this article, we show how de Alfaro and Henzinger’s original IA theory can be conservatively extended by shared memory data, without sacrificing simplicity or imposing restrictions. Our extension IA for shared Memory (IAM) decorates transitions with pre- and post-conditions over algebraic expressions on shared variables, which are taken into account by IA’s notion of component compatibility. Simplicity is preserved as IAM can be embedded into IA and, thus, accurately lifts IA’s compatibility concept to shared memory. We also provide a ground semantics for IAM that demonstrates that our abstract handling of data within IA’s open systems view is faithful to the standard treatment of data in closed systems.

Reversible parallel communicating finite automata systems

We study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type.

Operational complexity and right linear grammars

For a regular language L, let $${{\,\mathrm{Var}\,}}(L)$$ Var ( L ) be the minimal number of nonterminals necessary to generate L by right linear grammars. Moreover, for natural numbers $$k_1,k_2,\ldots ,k_n$$ k 1 , k 2 , … , k n and an n-ary regularity preserving operation f, let $$g_f^{{{\,\mathrm{Var}\,}}}(k_1,k_2,\ldots ,k_n)$$ g f Var ( k 1 , k 2 , … , k n ) be the set of all numbers k such that there are regular languages $$L_1,L_2,\ldots , L_n$$ L 1 , L 2 , … , L n such that $${{\,\mathrm{Var}\,}}(L_i)=k_i$$ Var ( L i ) = k i for $$1\le i\le n$$ 1 ≤ i ≤ n and $${{\,\mathrm{Var}\,}}(f(L_1,L_2,\ldots , L_n))=k$$ Var ( f ( L 1 , L 2 , … , L n ) ) = k . We completely determine the sets $$g_f^{{{\,\mathrm{Var}\,}}}$$ g f Var for the operations reversal, Kleene-closures $$+$$ + and $$*$$ ∗ , and union; and we give partial results for product and intersection.