Monadic Computation and Iterative Algebraic Theories

Calvin C. Elgot
Additional contact information
Calvin C. Elgot: IBM

A chapter in Selected Papers, 1982, pp 179-234 from Springer

Abstract: Abstract The notion algebraic theory was introduced by Lawvere in 1963 (cf. S. Eilenberg and J. B. Wright, Automata in general algebras, Information and Control 11 (1967) 4) to study equationally definable classes of algebras from a more intrinsic point of view. We make use of it to study Turing machines and machines with a similar kind of control at a level of abstraction which disregards the nature of ‘storage’ or ‘external memory’.

Keywords: Turing Machine; Ideal Theory; Partial Function; Algebraic Theory; Sequacious Function (search for similar items in EconPapers)
Date: 1982
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-8177-8_6

Ordering information: This item can be ordered from
http://www.springer.com/9781461381778

DOI: 10.1007/978-1-4613-8177-8_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().