Download PDF - The lattice of varieties of fibered automataAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

The lattice of varieties of fibered automata

Authors 1

Affiliations

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

Abstract

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.

Keywords

ENG
fibered automata, many-sorted algebras, varieties of many-sorted algebras, lattice of varieties

Bibliography

  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.
Discussiones Mathematicae - General Algebra and Applications
2007/27/1
Export to PBN, Opens in new tab
Pages:
87-107
Main language of publication
English
Received
2006-04-06
Accepted
2006-07-01
Published
2006

DOI: 10.7151/dmgaa.1121

Exact and natural sciences