Hostname: page-component-848d4c4894-tn8tq Total loading time: 0 Render date: 2024-07-08T04:04:54.982Z Has data issue: false hasContentIssue false

Equational axioms associated with finite automata for fixed point operations in cartesian categories

Published online by Cambridge University Press:  08 April 2015

ZOLTÁN ÉSIK*
Affiliation:
Department of Computer Science, University of Szeged, Árpád tér 2, 6720 Szeged, Hungary Email: ze@inf.u-szeged.hu

Abstract

The axioms of iteration theories, or iteration categories, capture the equational properties of fixed point operations in several computationally significant categories. Iteration categories may be axiomatized by the Conway identities and identities associated with finite automata. We show that the Conway identities and the identities associated with the members of a subclass $\mathcal{Q}$ of finite automata is complete for iteration categories iff for every finite simple group G there is an automaton Q$\mathcal{Q}$ such that G is a quotient of a group in the monoid M(Q) of the automaton Q. We also prove a stronger result that concerns identities associated with finite automata with a distinguished initial state.

Type
Paper
Copyright
Copyright © Cambridge University Press 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bekić, H. (1969). Definable operations in general algebras, and the theory of automata and flowcharts. Technical Report, IBM Laboratory, Vienna, 1969. Reprinted in: Programming Languages and their Definition. Selected papers edited by Jones, C. B., Springer-Verlag Lecture Notes in Computer Science 177, 3055.Google Scholar
Bernátsky, L. and Ésik, Z. (1998). Semantics of flowchart programs and the free Conway theories. Theoretical and Applied Information 32 3578.CrossRefGoogle Scholar
Bloom, S. L., Elgot, C. C. and Wright, J. B. (1980). Solutions of the iteration equation and extensions of the scalar iteration operation. SIAM Journal on Computing 9 2645.Google Scholar
Bloom, S. L. and Ésik, Z. (1993). Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science, Springer–Verlag.CrossRefGoogle Scholar
Bloom, S. L. and Ésik, Z. (1996). Fixed-point operations on ccc's. Part I. Theoretical Computer Science 155 138.Google Scholar
Bloom, S. L. and Ésik, Z. (1997). The equational logic of fixed points. Theoretical Computer Science 179 160.Google Scholar
DeBakker, J. W. and Scott, D. (1969). A theory of programs. Technical Report, IBM Laboratory, Vienna.Google Scholar
Eilenberg, S. (1976). Automata, Languages, and Machines, volume B, Academic Press.Google Scholar
Elgot, C. C. (1975). Monadic computation and iterative algebraic theories. In: Shepherdson, J. C. (ed.) Logic Colloquium 1973, Studies in Logic, volume 80, North Holland/American Elsevier, Amsterdam 175230.Google Scholar
Ésik, Z. (1980). Identities in iterative and rational theories. Computer Linguistic and Computer Language 14 183207.Google Scholar
Ésik, Z. (1997). Completeness of park induction. Theoretical Computer Science 177 217283.Google Scholar
Ésik, Z. (1999a). Group axioms for iteration. Information and Computation 148 131180.CrossRefGoogle Scholar
Ésik, Z. (1999b). Axiomatizing iteration categories. Acta Cybernetica 14 6582.Google Scholar
Ésik, Z. (2000). The power of the group axioms for iteration. International Journal of Algebra and Computation 10 349373.Google Scholar
Ésik, Z. and Labella, A. (1998). Equational properties of iteration in algebraically complete categories. Theoretical Computer Science 195 6189.Google Scholar
Lawvere, F. W. (1963). Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences USA 50 869873.CrossRefGoogle ScholarPubMed
Niwinski, D. (1986). On fixed-point clones (Extended abstract). In: Automata, Languages and Programming, 13th International Colloquium, ICALP'86. Springer-Verlag Lecture Notes in Computer Science 226 464473.Google Scholar
Plotkin, G. (1983). Domains. The Pisa notes. The University of Edinburgh.Google Scholar
Simpson, A. and Plotkin, G. (2000). Complete axioms for categorical fixed-point operators. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, LICS 2000, IEEE Computer Society 30–41.Google Scholar
Wright, J. B., Thatcher, J. W., Wagner, E. G. and Goguen, J. A. (1976). Rational algebraic theories and fixed-point solutions. In: Proceedings of the 17th Annual Symposium on Foundations of Computer Science, FOCS'76, IEEE Computer Society 147–158.Google Scholar