Closures of regular languages for profinite topologies

The Pin-Reutenauer algorithm gives a method, that can be viewed as a descriptive procedure, to compute the closure in the free group of a regular language with respect to the Hall topology. A similar descriptive procedure is shown to hold for the pseudovariety A of aperiodic semigroups, where the closure is taken in the free aperiodic omega-semigroup. It is inherited by a subpseudovariety of a given pseudovariety if both of them enjoy the property of being full. The pseudovariety A, as well as some of its subpseudovarieties are shown to be full. The interest in such descriptions stems from the fact that, for each of the main pseudovarieties V in our examples, the closures of two regular languages are disjoint if and only if the languages can be separated by a language whose syntactic semigroup lies in V. In the cases of A and of the pseudovariety DA of semigroups in which all regular elements are idempotents, this is a new result.PESSOA French-Portuguese project Egide-Grices 11113YM, "Automata, profinite semigroups and symbolic dynamics".FCT -- Fundação para a Ciência e a Tecnologia, respectively under the projects PEst-C/MAT/UI0144/2011 and PEst-C/MAT/UI0013/2011.ANR 2010 BLAN 0202 01 FREC.AutoMathA programme of the European Science Foundation.FCT and the project PTDC/MAT/65481/2006 which was partly funded by the European Community Fund FEDER

Order, algebra, and structure: lattice-ordered groups and beyond

This thesis describes and examines some remarkable relationships existing between seemingly quite different properties (algebraic, order-theoretic, and structural) of ordered groups. On the one hand, it revisits the foundational aspects of the structure theory of lattice-ordered groups, contributing a novel systematization of its relationship with the theory of orderable groups. One of the main contributions in this direction is a connection between validity in varieties of lattice-ordered groups, and orders on groups; a framework is also provided that allows for a systematic account of the relationship between orders and preorders on groups, and the structure theory of lattice-ordered groups. On the other hand, it branches off in new directions, probing the frontiers of several different areas of current research. More specifically, one of the main goals of this thesis is to suitably extend results that are proper to the theory of lattice-ordered groups to the realm of more general, related algebraic structures; namely, distributive lattice-ordered monoids and residuated lattices. The theory of lattice-ordered groups provides themain source of inspiration for this thesis’ contributions on these topics

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems