The lattice of varieties of fibered automata

• Autorzy: Anna Mućka
• Języki publikacji: EN

Abstrakty

EN

The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.

Słowa kluczowe

EN

fibered automata; many-sorted algebras; varieties of many-sorted algebras; lattice of varieties

Kategorie tematyczne

• 08B15: Lattices of varieties
• 68Q70: Algebraic theory of languages and automata
• 08A68: Heterogeneous algebras

• Wydawca: Faculty of Mathematics, Computer Science and Econometrics, University of Zielona Góra
• Czasopismo: Discussiones Mathematicae - General Algebra and Applications
• Rocznik: 2007
• Tom: 27
• Numer: 1
• Strony: 87-107

Daty

wydano

2006

otrzymano

2006-04-06

poprawiono

2006-07-01

Twórcy

autor

Anna Mućka

• Faculty of Mathematics and Information Sciences, Warsaw University of Technology 00-661 Warsaw, Poland

Bibliografia

• [1] G. Birkhoff and J.D. Lipson, Heterogenous algebras, J. Comb. Th. 8 (1970), 115-133.
• [2] J.A. Goguen and J. Meseguer, Completeness of many-sorted equational logic, Houston J. Math. 11 (1985), 307-334.
• [3] H. Lugowski, Grundzüge der Universallen Algebra, Teuber, Leipzig 1976.
• [4] I. Rosenberg, A classification of universal algebras by infinitary relations, Algebra Universalis 1 (1972), 350-353.
• [5] J.D.H. Smith, Continued fractions, fibered automata, and a theorem of Rosenberg, Multiple-Valued Logic 8 (2002), 503-515.

Identyfikatory

DOI

10.7151/dmgaa.1121