论文信息 - M-Solid Varieties of Languages

M-Solid Varieties of Languages

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.

Pedro Baltazar | Pedro Baltazar

[1] On derived varieties , 1996 .

[2] Jorge Almeida. On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics , 1990 .

[3] Magnus Steinby,et al. General Varieties of Tree Languages , 1998, Theor. Comput. Sci..

[4] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.

[5] K. Denecke,et al. Valuations of terms , 2003 .

[6] Magnus Steinby. A theory of tree language varieties , 1992, Tree Automata and Languages.

[7] Saeed Salehi,et al. Varieties of Tree Languages , 2005 .

[8] Jorge Almeida,et al. Finite Semigroups and Universal Algebra , 1995 .

[9] Hypervarieties of a given type , 1990 .

[10] Samuel Eilenberg. Automata, Languages and Machines, Vol. B , 1976 .

[11] G. Birkhoff's theorems for M-solid varieties , 1998 .

[12] Denis Thérien,et al. Recognizable languages and congruences , 1981 .

[13] Shelly L. Wismath,et al. Hyperidentities and Clones , 2000 .

[14] Saeed Salehi,et al. Varieties of Tree Languages Definable by Syntactic Monoids , 2005, Acta Cybern..