On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)

Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this correspondence related more general classes of regular languages with classes of more complex algebraic objects. Such generalized varieties also have natural counterparts formed by classes of finite automata equipped with a certain additional algebraic structure. In this survey, we overview several variants of such varieties of enriched automata.Comment: In Proceedings AFL 2014, arXiv:1405.527

Equidivisible pseudovarieties of semigroups

We give a complete characterization of pseudovarieties of semigroups whose finitely generated relatively free profinite semigroups are equidivisible. Besides the pseudovarieties of completely simple semigroups, they are precisely the pseudovarieties that are closed under Mal'cev product on the left by the pseudovariety of locally trivial semigroups. A further characterization which turns out to be instrumental is as the non-completely simple pseudovarieties that are closed under two-sided Karnofsky-Rhodes expansion

One Quantifier Alternation in First-Order Logic with Modular Predicates

Adding modular predicates yields a generalization of first-order logic FO over words. The expressive power of FO[<,MOD] with order comparison $x<y$ and predicates for $x \equiv i \mod n$ has been investigated by Barrington, Compton, Straubing and Therien. The study of FO[<,MOD]-fragments was initiated by Chaubard, Pin and Straubing. More recently, Dartois and Paperman showed that definability in the two-variable fragment FO2[<,MOD] is decidable. In this paper we continue this line of work. We give an effective algebraic characterization of the word languages in Sigma2[<,MOD]. The fragment Sigma2 consists of first-order formulas in prenex normal form with two blocks of quantifiers starting with an existential block. In addition we show that Delta2[<,MOD], the largest subclass of Sigma2[<,MOD] which is closed under negation, has the same expressive power as two-variable logic FO2[<,MOD]. This generalizes the result FO2[<] = Delta2[<] of Therien and Wilke to modular predicates. As a byproduct, we obtain another decidable characterization of FO2[<,MOD]

Some operators that preserve the locality of a pseudovariety of semigroups

It is shown that if V is a local monoidal pseudovariety of semigroups, then K(m)V, D(m)V and LI(m)V are local. Other operators of the form Z(m)(_) are considered. In the process, results about the interplay between operators Z(m)(_) and (_)*D_k are obtained.Comment: To appear in International Journal of Algebra and Computatio

On varieties of meet automata

AbstractEilenberg’s variety theorem gives a bijective correspondence between varieties of languages and varieties of finite monoids. The second author gave a similar relation between conjunctive varieties of languages and varieties of semiring homomorphisms. In this paper, we add a third component to this result by considering varieties of meet automata. We consider three significant classes of languages, two of them consisting of reversible languages. We present conditions on meet automata and identities for semiring homomorphisms for their characterization

On Varieties of Ordered Automata

The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\mathcal C$-varieties of languages to positive $\mathcal C$-varieties of ordered automata and we present various specific instances of this correspondence. These bring certain well-known results from a new perspective and also some new observations. Moreover, complexity aspects of the membership problem are discussed both in the particular examples and in a general setting

The Power of Programs over Monoids in DA

The program-over-monoid model of computation originates with Barrington\u27s proof that it captures the complexity class NC^1. Here we make progress in understanding the subtleties of the model. First, we identify a new tameness condition on a class of monoids that entails a natural characterization of the regular languages recognizable by programs over monoids from the class. Second, we prove that the class known as DA satisfies tameness and hence that the regular languages recognized by programs over monoids in DA are precisely those recognizable in the classical sense by morphisms from QDA. Third, we show by contrast that the well studied class of monoids called J is not tame and we exhibit a regular language, recognized by a program over a monoid from J, yet not recognizable classically by morphisms from the class QJ. Finally, we exhibit a program-length-based hierarchy within the class of languages recognized by programs over monoids from DA

Two algebraic approaches to variants of the concatenation product

AbstractWe extend an existing approach of the bideterministic concatenation product of languages aiming at the study of three other variants: unambiguous, left deterministic and right deterministic. Such an approach is based on monoid expansions. The proofs are purely algebraic and use another approach, based on properties on the kernel category of a monoid relational morphism, without going through the languages. This gives a unified fashion to deal with all these variants and allows us to better understand the connections between these two approaches. Finally, we show that local finiteness of an M-variety is transferred to the M-varieties corresponding to these variants and apply the general results to the M-variety of idempotent and commutative monoids

The linear nature of pseudowords

Given a pseudoword over suitable pseudovarieties, we associate to it a labeled linear order determined by the factorizations of the pseudoword. We show that, in the case of the pseudovariety of aperiodic finite semigroups, the pseudoword can be recovered from the labeled linear order.The work of the first, third, and fourth authors was partly supported by the Pessoa French-Portuguese project “Separation in automata theory: algebraic, logical, and combinatorial aspects”. The work of the first three authors was also partially supported respectively by CMUP (UID/MAT/ 00144/2019), CMUC (UID/MAT/00324/2019), and CMAT (UID/MAT/ 00013/2013), which are funded by FCT (Portugal) with national (MCTES) and European structural funds (FEDER), under the partnership agreement PT2020. The work of the fourth author was partly supported by ANR 2010 BLAN 0202 01 FREC and by the DeLTA project ANR-16-CE40-000