Buchumschlag

When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Maneth, Sebastian, Seidl, Helmut
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
von: Maneth, Sebastian, et al.
Veröffentlicht: (2023)

Attributed Tree Transducers for Partial Functions
von: Maneth, Sebastian, et al.
Veröffentlicht: (2024)

Deterministic Parikh automata on infinite words
von: Grobler, Mario, et al.
Veröffentlicht: (2024)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
von: Gallot, Paul, et al.
Veröffentlicht: (2023)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

Shape Preserving Tree Transducers
von: Gallot, Paul, et al.
Veröffentlicht: (2025)

On the Boolean Closure of Deterministic Top-Down Tree Automata
von: Löding, Christof, et al.
Veröffentlicht: (2024)

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Efficient Learning of Weak Deterministic Büchi Automata
von: Alluwayma, Mona, et al.
Veröffentlicht: (2025)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

Token Games and History-Deterministic Quantitative-Automata
von: Boker, Udi, et al.
Veröffentlicht: (2021)

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
von: Aristote, Quentin
Veröffentlicht: (2024)

Passive Model Learning of Visibly Deterministic Context-free Grammars
von: Muškardin, Edi, et al.
Veröffentlicht: (2025)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
von: Acharya, Rohan, et al.
Veröffentlicht: (2024)

A Linear-time Simulation of Deterministic $d$-Limited Automata
von: Rubtsov, Alexander
Veröffentlicht: (2023)

Constructing Deterministic Parity Automata from Positive and Negative Examples
von: Bohn, León, et al.
Veröffentlicht: (2023)

Deterministic pushdown automata can compress some normal sequences
von: Carton, Olivier, et al.
Veröffentlicht: (2022)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
von: Lehtinen, Karoliina, et al.
Veröffentlicht: (2025)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
von: Deng, Zhibo, et al.
Veröffentlicht: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
von: Suresh, Tarun, et al.
Veröffentlicht: (2025)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
von: Bell, Jason P., et al.
Veröffentlicht: (2022)

Computing the Reachability Value of Posterior-Deterministic POMDPs
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2026)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Deterministic Suffix-reading Automata
von: Keerthan, R, et al.
Veröffentlicht: (2024)

On History-Deterministic One-Counter Nets
von: Prakash, Keya, et al.
Veröffentlicht: (2022)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
von: Yamakami, Tomoyuki
Veröffentlicht: (2021)

Random Deterministic Automata With One Added Transition
von: Carayol, Arnaud, et al.
Veröffentlicht: (2024)

Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete
von: Dumitru, Radu Cosmin, et al.
Veröffentlicht: (2026)

Equivalence of Deterministic Weighted Real-time One-Counter Automata
von: Mathew, Prince, et al.
Veröffentlicht: (2024)

Between SC and LOGDCFL: Families of Languages Accepted by Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2022)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
von: Löding, Christof, et al.
Veröffentlicht: (2025)

A generalization of Deterministic Finite Automata related to discharging
von: Campbell, John M.
Veröffentlicht: (2025)

Non-Deterministic Planning for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Weighted Tree Automata -- May it be a little more?
von: Fülöp, Zoltán, et al.
Veröffentlicht: (2022)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

Deterministic Suffix-reading Automata
von: Keerthan, R, et al.
Veröffentlicht: (2025)

The Expansion Problem for Infinite Trees
von: Blumensath, Achim
Veröffentlicht: (2023)