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ű
Mandrali_2009_ActaCybernetica.pdf

Download (234kB)

Abstract

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
URI: http://acta.bibl.u-szeged.hu/id/eprint/12871

Actions (login required)

View Item View Item