Iteration Algebras

  • Stephen L. Bloom
  • Zoltán Ésik
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS)

Abstract

In Chapter 4 we discussed the algebras of an arbitrary theory. This chapter deals with the algebras of (pre)iteration theories. When T is a preiteration theory, not all T-algebras respect the iteration operation. We say that a T-algebra д = (A, α) is a T-iteration algebra whenever the kernel of the theory morphism α: TPow A is a dagger congruence.

Keywords

Assure Eter 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Stephen L. Bloom
    • 1
  • Zoltán Ésik
    • 2
  1. 1.Department of Computer ScienceStevens Institute of TechnologyHobokenUSA
  2. 2.Department of Computer ScienceA. József UniversitySzegedHungary

Personalised recommendations