A congruence-based perspective on finite tree automata

DOI10.3233/FI-2021-2091MaRDI QIDQ5025071zbMATH OpenOpenAlexFDO

Authors Pierre Ganty, Elena Gutiérrez, Pedro Valero

Publication date 1 February 2022

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2104.11453

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 7649889
• From tree automata to string automata minimization
• Backward and Forward Bisimulation Minimisation of Tree Automata
• Minimal Ascending and Descending Tree Automata
• Hyper-minimization for deterministic tree automata

Cites work

• A congruence-based perspective on automata minimization algorithms
• A geometrical view of the determinization and minimization of finite-state automata
• Applications of weighted automata in natural language processing
• Backward and forward bisimulation minimization of tree automata
• BISIMULATION MINIMIZATION OF TREE AUTOMATA
• scientific article; zbMATH DE number 3854429 (Why is no real title available?)
• scientific article; zbMATH DE number 3711381 (Why is no real title available?)
• scientific article; zbMATH DE number 58315 (Why is no real title available?)
• scientific article; zbMATH DE number 3615891 (Why is no real title available?)
• scientific article; zbMATH DE number 2040904 (Why is no real title available?)
• scientific article; zbMATH DE number 7559411 (Why is no real title available?)
• scientific article; zbMATH DE number 3189697 (Why is no real title available?)
• Minimal Ascending and Descending Tree Automata
• Reduction of nondeterministic tree automata
• The minimalization of tree automata
• Theory of átomata
• Tree regular model checking: a simulation-based approach

Cited in

(6)

• Finite tree automata with cost functions
• On the finite degree of ambiguity of finite tree automata
• scientific article; zbMATH DE number 17556 (Why is no real title available?)
• scientific article; zbMATH DE number 7360252 (Why is no real title available?)
• A congruence-based perspective on automata minimization algorithms
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)

This page was built for publication: A congruence-based perspective on finite tree automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5025071)