Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

29

ACTAC
2008

favoriteEmaildiscussreport

97views more ACTAC 2008»

$M$-Solid Varieties of Languages

13 years 11 months ago

$M$-Solid Varieties of Languages

Download sqig.math.ist.utl.pt

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. Key words: Tree languages, Eilenberg-type correspondences, M-solid pseudovarieties, M-solid varieties of languages.

Pedro Baltazar

Real-time Traffic

ACTAC 2008 | Complete Sublattice | Eilenberg-type Correspondences | M-solid Pseudovarieties |

claim paper

Related Content

» On Varieties of Literally Idempotent Languages

» Language and variety verification on broadcast news for Portuguese

» Literally Idempotent Languages and their Varieties Two Letter Case

» The automatic identification of lexical variation between language varieties

» On varieties of meet automata

» Polynomials Fragments of Temporal Logic and the Variety DA over Traces

» A Finite Basis Theorem for Residually Finite Congruence MeetSemidistributive Varieties

» Unsupervised Segmentation of Chinese Corpus Using Accessor Variety

» Varieties of crossing dependencies structure dependence and mild context sensitivity

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	ACTAC
Authors	Pedro Baltazar

Comments (0)