Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Definability Results for Top-Down Tree Transducers
View through CrossRef
Top-down tree transducers are well established formalism for describing tree translations. Such transducers can be further enhanced with look-ahead allowing them to inspect input subtrees before processing them. Oftentimes it is advantageous to know when the look-ahead can be eliminated and the translation be implemented by a simpler transducer. We show that for a given top-down transducer with look-ahead it is decidable whether or not its translation is definable (1) by a linear deterministic top-down tree transducer or (2) by a tree homomorphism. We present algorithms that construct equivalent such transducers if they exist. Our results also apply to bottom-up transducers as well as compositions of transducers.
World Scientific Pub Co Pte Ltd
Title: Definability Results for Top-Down Tree Transducers
Description:
Top-down tree transducers are well established formalism for describing tree translations.
Such transducers can be further enhanced with look-ahead allowing them to inspect input subtrees before processing them.
Oftentimes it is advantageous to know when the look-ahead can be eliminated and the translation be implemented by a simpler transducer.
We show that for a given top-down transducer with look-ahead it is decidable whether or not its translation is definable (1) by a linear deterministic top-down tree transducer or (2) by a tree homomorphism.
We present algorithms that construct equivalent such transducers if they exist.
Our results also apply to bottom-up transducers as well as compositions of transducers.
Related Results
High Temperature Ultrasonic Transducers: A Review
High Temperature Ultrasonic Transducers: A Review
There are many fields such as online monitoring of manufacturing processes, non-destructive testing in nuclear plants, or corrosion rate monitoring techniques of steel pipes in whi...
Surface and defect controlled high power piezoelectric ultrasonic transducers
Surface and defect controlled high power piezoelectric ultrasonic transducers
<sec>Researches have shown that a reasonably designed phononic crystal defect structure in high-power piezoelectric ultrasonic transducers can effectively suppress stray vibr...
Image Analysis for Ultrasound Quality Assurance
Image Analysis for Ultrasound Quality Assurance
The quality assurance (QA) of ultrasound transducers is often identified as an area requiring continuous development in terms of the tools available to users. Periodic evaluation o...
Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable
Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable
We prove that equivalence of deterministic top-down tree-to-string transducers is decidable, thus solving a long-standing open problem in formal language theory. We also present ef...
Inter-specific variations in tree stem methane and nitrous oxide exchanges in a tropical rainforest
Inter-specific variations in tree stem methane and nitrous oxide exchanges in a tropical rainforest
<p>Tropical forests are the most productive terrestrial ecosystems, global centres of biodiversity and important participants in the global carbon and water cycles. T...
Pebble Macro Tree Transducers with Strong Pebble Handling
Pebble Macro Tree Transducers with Strong Pebble Handling
We consider pebble macro tree transducers with call-by-name semantics and strong pebble handling. The latter means that the last dropped pebble can be lifted regardless of the posi...
Sensors and Transducers for Stroke Detection Systematic Literature Review
Sensors and Transducers for Stroke Detection Systematic Literature Review
Along with changes in lifestyle, stroke is not only a disease that attacks the elderly population, but also often attacks people of productive age. Actions are proposed to the publ...
Design, development and characterization of wideband polymer ultrasonic probes for medical ultrasound applications
Design, development and characterization of wideband polymer ultrasonic probes for medical ultrasound applications
This dissertation deals with the design, development and characterization of non-resonantpolymer ultrasonic probes for medical ultrasound applications. Both single element andmulti...