Recognizable tree series with discounting

Mandrali, Eleni and Rahonis, George: Recognizable tree series with discounting. Acta cybernetica, (19) 2. pp. 411-439. (2009)

[img] Cikk, tanulmány, mű

Download (234kB)


We consider weighted tree automata with discounting over commutative semirings. For their behaviors we establish a Kleene theorem and an MSO-logic characterization. We introduce also weighted Muller tree automata with discounting over the max-plus and the min-plus semirings, and we show their expressive equivalence with two fragments of weighted MSO-sentences.

Item Type: Article
Event Title: Weighted Automata: Theory and Applications, 2008, Dresden
Journal or Publication Title: Acta cybernetica
Date: 2009
Volume: 19
Number: 2
Page Range: pp. 411-439
ISSN: 0324-721X
Language: angol
Uncontrolled Keywords: Természettudomány, Informatika
Additional Information: Bibliogr.: p. 436-439.; Abstract
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2018. Jun. 06. 11:19

Actions (login required)

View Item View Item