Title
Earliest Normal Form And Minimization For Bottom-Up Tree Transducers
Abstract
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of normalizing transformations which, among others, guarantee that non-trivial output is produced as early as possible. For a deterministic bottom-up transducer where every state produces either none or infinitely many outputs, the minimal transducer can be constructed in polynomial time.
Year
DOI
Venue
2011
10.1142/S012905411100891X
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Keywords
Field
DocType
Bottom-up tree transducers, minimization, normal form
Tree transducers,Transducer,Discrete mathematics,Top-down and bottom-up design,Algorithm,Minification,Time complexity,Mathematics
Journal
Volume
Issue
ISSN
22
7
0129-0541
Citations 
PageRank 
References 
2
0.36
11
Authors
3
Name
Order
Citations
PageRank
Sylvia Friese140.74
Helmut Seidl21468103.61
Sebastian Maneth397561.51