Semirings, automata, languages
Semirings, automata, languages
Weighted grammars and Kleene's theorem
Information Processing Letters
Rational series and their languages
Rational series and their languages
Finite tree automata with cost functions
Theoretical Computer Science - Selected papers of the 17th Colloquium on Trees in Algebra and Programming (CAAP '92) and of the European Symposium on Programming (ESOP), Rennes, France, Feb. 1992
Tree automata for code selection
Acta Informatica
Semirings and formal power series: their relevance to formal languages and automata
Handbook of formal languages, vol. 1
Handbook of formal languages, vol. 3
Positive tree representations and applications to tree automata
Information and Computation
The transducers and formal tree series
Acta Cybernetica
Information and Computation
Automata, Languages, and Machines
Automata, Languages, and Machines
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
On the Determinization of Weighted Finite Automata
SIAM Journal on Computing
Bottom-up and top-down tree series transformations
Journal of Automata, Languages and Combinatorics
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Determinization of finite state weighted tree automata
Journal of Automata, Languages and Combinatorics
Finite-state transducers in language and speech processing
Computational Linguistics
A Kleene Theorem for Weighted Tree Automata
Theory of Computing Systems
The myhill-nerode theorem for recognizable tree series
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Skew and infinitary formal power series
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Weighted tree automata and weighted logics
Theoretical Computer Science
Minimizing Deterministic Weighted Tree Automata
Language and Automata Theory and Applications
Learning deterministically recognizable tree series
Journal of Automata, Languages and Combinatorics
Minimizing deterministic weighted tree automata
Information and Computation
Definable transductions and weighted logics for texts
Theoretical Computer Science
Weighted tree-walking automata
Acta Cybernetica
Learning deterministically recognizable tree series: revisited
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Why synchronous tree substitution grammars?
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
An alternative to synchronous tree substitution grammars*
Natural Language Engineering
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring
Theoretical Computer Science
Relating tree series transducers and weighted tree automata
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Hi-index | 0.00 |
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 ∈ supp(S) a decomposition t = C'[C[s]] into contexts C, C' and an input tree s as well as there exist semiring elements a, a', b, b', c such that the equation (S, C'[Cn[s]]) = a' ⊙ an ⊙ c ⊙ bn ⊙ b' holds for every non-negative integer n. In order to prove this pumping lemma we extend the power-set construction of classical theories and show that for every non-deterministic bu-w-fta over a locally finite semiring there exists an equivalent deterministic one. By applying the pumping lemma we prove the decidability of a tree series S being constant on its support, S being constant, S being boolean, the support of S being the empty set, and the support of S being a finite set provided that S is accepted by (a) a deterministic bu-w-fta over a commutative semiring or (b) a non-deterministic bu-w-fta over a locally finite commutative semiring.