A pumping lemma and decidability problems for recognizable tree series

In the present paper we show that given a tree series S, which is accepted by (a) a deterministic bottom-up finite state weighted tree automaton (for short: bu-w-fta) or (b) a non-deterministic bu-w-fta over a locally finite semiring, there exists for every input tree t E supp(S) a decomposition t =...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Borchardt Björn
Testületi szerző: Conference on Hungarian Computational Linguistics (1.) (2003) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2004
Sorozat:Acta cybernetica 16 No. 4
Kulcsszavak:Számítástechnika, Nyelvészet - számítógép alkalmazása
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12739

Hasonló tételek