Linear High-Order Deterministic Tree ...
Document type :
Rapport de recherche
Permalink :
Title :
Linear High-Order Deterministic Tree transducers with Regular look-ahead
Author(s) :
Gallot, Paul [Auteur]
Linking Dynamic Data [LINKS]
Lemay, Aurélien [Auteur]
Université de Lille
Linking Dynamic Data [LINKS]
Salvati, Sylvain [Auteur]
Linking Dynamic Data [LINKS]
Linking Dynamic Data [LINKS]
Lemay, Aurélien [Auteur]
Université de Lille
Linking Dynamic Data [LINKS]
Salvati, Sylvain [Auteur]

Linking Dynamic Data [LINKS]
Institution :
INRIA
Publication date :
2020-08-28
English keyword(s) :
Transducers
$λ$-calculus
Tree lanuages
$λ$-calculus
Tree lanuages
HAL domain(s) :
Informatique [cs]/Complexité [cs.CC]
Informatique [cs]/Théorie et langage formel [cs.FL]
Informatique [cs]/Théorie et langage formel [cs.FL]
Language :
Anglais
Collections :
Source :
Submission date :
2020-07-22T01:00:22Z
Files
- https://hal.archives-ouvertes.fr/hal-02902853/document
- Open access
- Access the document