Functionality of compositions of top-down tree transducers is decidable.

Sebastian Maneth Helmut Seidl Martin Vu

Published in: Inf. Comput. (2024)

Keyphrases

b tree
neural network
index structure
tree structure
finite automata
high level
tree models
tree automata
first order logic
tree structures
finite state automata
binary tree
tree search
r tree
multi dimensional
special case
relational databases