2010/09/24 by Zoltán Ésik, Zoltan Esik, Esik, Zoltan +2
Computer Science · #68Q70 #Advanced Algebra and Logic #F.4.0 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #acm:68Q70 #cs.FL #msc:68Q70 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1009.4820
openalex publication_date 2010/09/24 · arxiv created 2011/02/23 · arxiv updated 2011/02/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We consider rational power series over an alphabet Σ with coefficients in a ordered commutative semiring K and characterize them as the free ordered K-semialgebras in various classes of ordered K-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.