Back to Search Start Over

Equational axioms for regular sets

Authors :
Stephen L. Bloom
Zoltán Ésik
Source :
Mathematical Structures in Computer Science. 3:1-24
Publication Year :
1993
Publisher :
Cambridge University Press (CUP), 1993.

Abstract

We show that, aside from the semiring equations, three equations and two equation schemes characterize the semiring of regular sets with the Kleene star operation.

Details

ISSN :
14698072 and 09601295
Volume :
3
Database :
OpenAIRE
Journal :
Mathematical Structures in Computer Science
Accession number :
edsair.doi...........5b02c636b1787a9ba83d7567c592f95e