Algebras of iteration theories

Research output: Contribution to journalArticle

14 Citations (Scopus)

Abstract

The equational class generated by rational algebraic theories was characterized in Esik, Comput. Linguistics and Comput. Languages XIV (1980), 183-207. Here, this class will be called the class of iteration theories. Also, there is a close connection between Elgot's iterative theories and iteration theories. In this paper we introduce algebras for iteration theories, called iteration algebras. Iteration algebras are natural generalization of regular algebras and they are closely related to iterative algebras as well. It is shown that the absolutely free iteration algebras are the algebras of regular trees.

Original languageEnglish
Pages (from-to)291-303
Number of pages13
JournalJournal of Computer and System Sciences
Volume27
Issue number2
DOIs
Publication statusPublished - 1983

Fingerprint

Algebra
Iteration
Algebraic Theory
Trees (mathematics)
Linguistics
Class

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this

Algebras of iteration theories. / Ésik, Z.

In: Journal of Computer and System Sciences, Vol. 27, No. 2, 1983, p. 291-303.

Research output: Contribution to journalArticle

@article{ffddd329c2ba4f82920887ea4f3294b8,
title = "Algebras of iteration theories",
abstract = "The equational class generated by rational algebraic theories was characterized in Esik, Comput. Linguistics and Comput. Languages XIV (1980), 183-207. Here, this class will be called the class of iteration theories. Also, there is a close connection between Elgot's iterative theories and iteration theories. In this paper we introduce algebras for iteration theories, called iteration algebras. Iteration algebras are natural generalization of regular algebras and they are closely related to iterative algebras as well. It is shown that the absolutely free iteration algebras are the algebras of regular trees.",
author = "Z. {\'E}sik",
year = "1983",
doi = "10.1016/0022-0000(83)90044-2",
language = "English",
volume = "27",
pages = "291--303",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Academic Press Inc.",
number = "2",

}

TY - JOUR

T1 - Algebras of iteration theories

AU - Ésik, Z.

PY - 1983

Y1 - 1983

N2 - The equational class generated by rational algebraic theories was characterized in Esik, Comput. Linguistics and Comput. Languages XIV (1980), 183-207. Here, this class will be called the class of iteration theories. Also, there is a close connection between Elgot's iterative theories and iteration theories. In this paper we introduce algebras for iteration theories, called iteration algebras. Iteration algebras are natural generalization of regular algebras and they are closely related to iterative algebras as well. It is shown that the absolutely free iteration algebras are the algebras of regular trees.

AB - The equational class generated by rational algebraic theories was characterized in Esik, Comput. Linguistics and Comput. Languages XIV (1980), 183-207. Here, this class will be called the class of iteration theories. Also, there is a close connection between Elgot's iterative theories and iteration theories. In this paper we introduce algebras for iteration theories, called iteration algebras. Iteration algebras are natural generalization of regular algebras and they are closely related to iterative algebras as well. It is shown that the absolutely free iteration algebras are the algebras of regular trees.

UR - http://www.scopus.com/inward/record.url?scp=0020831365&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020831365&partnerID=8YFLogxK

U2 - 10.1016/0022-0000(83)90044-2

DO - 10.1016/0022-0000(83)90044-2

M3 - Article

AN - SCOPUS:0020831365

VL - 27

SP - 291

EP - 303

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

SN - 0022-0000

IS - 2

ER -