Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Tree Automata Techniques and Applications
Thème :
Languages, Automates & Calculabilité
–
Cursus :
Livre
Version of October 1st, 2002
Contents
Other formats are also available.
Hubert Comon-Lundh
,
Rémi Gilleron
,
Florent Jacquemard
,
Denis Lugiez
,
Sophie Tison
,
Marc Tommasi
,
Max Dauchet
Full version
Chapter 1 : Recognizable Tree Languages and Finite Tree Automata
Chapter 2 : Regular Grammars and Regular Expressions
Chapter 3 : Logic, Automata and Relations
Chapter 4 : Automata with Constraints
Chapter 5 : Tree Set Automata
Chapter 6 : Tree Transducers
Chapter 7 : Alternating Tree Automata