Varieties of iteration theories

Stephen L. Bloom, Zoltan Esik

Research output: Contribution to journalArticle

11 Citations (Scopus)


The equational properties of iteration, when combined with composition and pairing, are captured by the notion of 'iteration theory'. We believe that every iterative construction satisfies at least the properties of iteration theories. Axiomatizations are given for several varieties of iteration theories which occur naturally in the semantics of programming languages, i.e., those generated by theories of trees, theories of sequacious functions, theories of partial functions, and theories of both sequacious and partial functions with distinguished predicates. We show which additional equations must be added to the axioms for iteration theories in order to obtain a set of axioms for these subvarieties. Concrete descriptions of the free theories in each variety are given.

Original languageEnglish
Pages (from-to)939-966
Number of pages28
JournalSIAM Journal on Computing
Issue number5
Publication statusPublished - Jan 1 1988

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint Dive into the research topics of 'Varieties of iteration theories'. Together they form a unique fingerprint.

  • Cite this