Recognizable tree series with discounting
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 expres...
Elmentve itt :
Szerzők: |
Mandrali Eleni Rahonis George |
---|---|
Testületi szerző: | Weighted Automata : Theory and Applications (2008) (Dresden) |
Dokumentumtípus: | Cikk |
Megjelent: |
2009
|
Sorozat: | Acta cybernetica
19 No. 2 |
Kulcsszavak: | Számítástechnika, Kibernetika |
Tárgyszavak: | |
Online Access: | http://acta.bibl.u-szeged.hu/12871 |
Hasonló tételek
-
MAT learners for recognizable tree languages and tree series
Szerző: Drewes Frank
Megjelent: (2009) -
A pumping lemma and decidability problems for recognizable tree series
Szerző: Borchardt Björn
Megjelent: (2004) -
Weighted recognizability over infinite alphabets
Szerző: Pittou Maria, et al.
Megjelent: (2017) -
Weighted languages recognizable by weighted tree automata
Szerző: Fülöp Zoltán, et al.
Megjelent: (2018) -
The Boolean closure of DR-recognizable tree languages
Szerző: Jurvanen Eija
Megjelent: (1992)