M-solid varieties of languages

Authors:
Pedro Baltazar
Affiliations:
Security and Quantum Information Group, Institute for Telecommunications, Lisboa, Portugal
Venue:
Acta Cybernetica
Year:
2008

Citing 3
Cited 1

Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
General varieties of tree languages

Theoretical Computer Science
Automata, Languages, and Machines

Automata, Languages, and Machines

Recognisability for algebras of infinite trees

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, a characterization of the language varieties and congruence varieties corresponding to M-solid pseudovarieties is presented. Taking into account the isomorphisms of the Eilenberg-type correspondences, each complete sublattice of pseudovarieties corresponds to a complete sublattice of language varieties, as well as another one of congruence varieties. For the varieties of tree language, we present the complete sublattices of varieties of languages and the complete sublattice of varieties of congruences isomorphic to the complete sublattice of all M-solid pseudovarieties.