Kleene's theorem for weighted tree-automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2751, Issue , 2003, Pages 387-399

  Pech, Christian ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Automata; Kleene's theorem; Language; Rational expression; Sch tzenberger's theorem; Tree; Weight

Indexed keywords

AUTOMATA THEORY; FORESTRY;

AUTOMATA; LANGUAGE; RATIONAL EXPRESSIONS; TREE; WEIGHT;

COMPUTATION THEORY;

EID: 35248875725     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45077-1_36     Document Type: Article

References (11)

1. Berstel, J., Reutenauer, C.: Recognizable formal power series on trees. Theoretical Computer Science 18 (1982) 115-148
2. Bloom, S.L., Ésik, Z.: An extension theorem with an application to formal tree series. BRICS Report Series RS-02-19, University of Aarhus (2002)
3. Bozapalidis, S.: Equational elements in additive algebras. Theory Comput. Systems 32 (1999) 1-33
4. Culik, K., Kari, J.: Image compression using weighted finite automata. Computer and Graphics 17 (1993) 305-313
5. Droste, M., Vogler, H.: A Kleene theorem for weighted tree automata. technical report TUD-FI02-04, Technische Universität Dresden (2002)
6. Kleene, S.E.: Representation of events in nerve nets and finite automata. In Shannon, C.E., McCarthy, J., eds.: Automata Studies. Princeton University Press, Princeton, N.J. (1956) 3-42
7. Kuich, W.: Formal power series over trees. In: Proc. of the 3rd International Conference Developments in Language Theory, Aristotle University of Thesaloniki (1997) 60-101
8. Mohri, M.: Finite-state transducers in language and speech processing. Computational Linguistics 23 (1997) 269-311
9. ∼pech/diss.ps.
10. Schützenberger, M.P.: On the definition of a family of automata. Information and Control 4 (1961) 245-270
11. Thatcher, J.W., Wright, J.B.: Generalized finite automata theory with application to a decision problem of second-order logic. Math. Systems Theory 2 (1968) 57-81