rational power series
Recently Published Documents


TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

2015 ◽  
Vol 26 (08) ◽  
pp. 1127-1146 ◽  
Author(s):  
Vincent Carnino ◽  
Sylvain Lombardy

This paper deals with one-way and two-way weighted automata. When the semiring of weights is commutative, we prove that unambiguous one-way automata, unambiguous two-way automata and deterministic two-way automata realize the same (rational) power series. If the semiring of weights is not commutative, unambiguous one-way automata and deterministic two-way automata realize the same rational power series, but unambiguous two-way automata may realize non rational power series.


2009 ◽  
Vol 207 (7) ◽  
pp. 793-811 ◽  
Author(s):  
S.L. Bloom ◽  
Z. Ésik

2009 ◽  
Vol 213 (6) ◽  
pp. 1157-1169
Author(s):  
Xiang-Dong Hou ◽  
Sergio R. López-Permouth ◽  
Benigno R. Parra-Avila

Author(s):  
V. HOUSEAUX ◽  
G. JACOB ◽  
N.E. OUSSOUS ◽  
M. PETITOT

2001 ◽  
Vol 8 (42) ◽  
Author(s):  
Zoltán Ésik ◽  
Werner Kuich

We define rationally additive semirings that are a generalization of (omega-)complete and (omega-)continuous semirings. We prove that every rationally additive semiring is an iteration semiring. Moreover, we characterize the semirings of rational power series with coefficients in N_infty, the semiring of natural numbers equipped with a top element, as the free rationally additive semirings.


2000 ◽  
Vol 7 (27) ◽  
Author(s):  
Zoltán Ésik ◽  
Werner Kuich

One of the most well-known induction principles in computer science<br />is the fixed point induction rule, or least pre-fixed point rule. Inductive <br />*-semirings are partially ordered semirings equipped with a star operation<br />satisfying the fixed point equation and the fixed point induction rule for<br />linear terms. Inductive *-semirings are extensions of continuous semirings<br />and the Kleene algebras of Conway and Kozen.<br />We develop, in a systematic way, the rudiments of the theory of inductive<br />*-semirings in relation to automata, languages and power series.<br />In particular, we prove that if S is an inductive *-semiring, then so is<br />the semiring of matrices Sn*n, for any integer n >= 0, and that if S is<br />an inductive *-semiring, then so is any semiring of power series S((A*)).<br />As shown by Kozen, the dual of an inductive *-semiring may not be inductive. <br />In contrast, we show that the dual of an iteration semiring is<br />an iteration semiring. Kuich proved a general Kleene theorem for continuous<br /> semirings, and Bloom and Esik proved a Kleene theorem for all Conway <br />semirings. Since any inductive *-semiring is a Conway semiring<br />and an iteration semiring, as we show, there results a Kleene theorem <br />applicable to all inductive *-semirings. We also describe the structure<br />of the initial inductive *-semiring and conjecture that any free inductive<br />*-semiring may be given as a semiring of rational power series with <br />coefficients in the initial inductive *-semiring. We relate this conjecture to<br />recent axiomatization results on the equational theory of the regular sets.


1984 ◽  
Vol 29 (2) ◽  
pp. 153-159 ◽  
Author(s):  
Antonio Restivo ◽  
Christophe Reutenauer

Sign in / Sign up

Export Citation Format

Share Document