Free inductive K-semialgebras
Formal Languages and Automata Theory
2011-02-24 v2
Abstract
We consider rational power series over an alphabet with coefficients in a ordered commutative semiring and characterize them as the free ordered -semialgebras in various classes of ordered -semialgebras equipped with a star operation satisfying the least pre-fixed point rule and/or its dual. The results are generalizations of Kozen's axiomatization of regular languages.
Keywords
Cite
@article{arxiv.1009.4820,
title = {Free inductive K-semialgebras},
author = {Zoltan Esik and Werner Kuich},
journal= {arXiv preprint arXiv:1009.4820},
year = {2011}
}