A Congruence-Based Perspective on Finite Tree Automata
From MaRDI portal
Publication:5025071
DOI10.3233/FI-2021-2091MaRDI QIDQ5025071
Elena Gutiérrez, Pierre Ganty, 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
68Q45: Formal languages and automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Backward and forward bisimulation minimization of tree automata
- Reduction of nondeterministic tree automata
- Theory of átomata
- Tree regular model checking: a simulation-based approach
- A geometrical view of the determinization and minimization of finite-state automata
- BISIMULATION MINIMIZATION OF TREE AUTOMATA
- Minimal Ascending and Descending Tree Automata
- Applications of Weighted Automata in Natural Language Processing
- A congruence-based perspective on automata minimization algorithms
- The minimalization of tree automata