Rectangular algebras as tree recognizers

We consider finite rectangular algebras of finite type as tree recognizers. The type is represented by a ranked alphabet Σ. We determine the varieties of finite rectangular Σ-algebras and show that they form a Boolean lattice in which the atoms are minimal varieties of finite Σ-algebras consisting o...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Steinby Magnus
Dokumentumtípus: Cikk
Megjelent: 2015
Sorozat:Acta cybernetica 22 No. 2
Kulcsszavak:Algebra
Tárgyszavak:
doi:10.14232/actacyb.22.2.2015.15

Online Access:http://acta.bibl.u-szeged.hu/36292
Leíró adatok
Tartalmi kivonat:We consider finite rectangular algebras of finite type as tree recognizers. The type is represented by a ranked alphabet Σ. We determine the varieties of finite rectangular Σ-algebras and show that they form a Boolean lattice in which the atoms are minimal varieties of finite Σ-algebras consisting of projection algebras. We also describe the corresponding varieties of Σ-tree languages and compare them with some other varieties studied in the literature. Moreover, we establish the solidity properties of these varieties of finite algebras and tree languages. Rectangular algebras have been previously studied by R. Pöschel and M. Reichel (1993), and we make use of some of their results.
Terjedelem/Fizikai jellemzők:499-515
ISSN:0324-721X