Encoding second order string ACG with Deterministic Tree Walking Transducers.
Langue
en
Communication dans un congrès
Ce document a été publié dans
The 11th conference on Formal Grammar, 2006, Malaga. 2007p. 143-156
CSLI Publications
Résumé en anglais
We show that the string languages generated by second order string ACGs are exactly the ouput languages of deterministic tree walking transducers. Furthermore this result shows that the hierarchy of languages induced by ...Lire la suite >
Mots clés en anglais
formal language
abstract categorial grammars
lambda calculus
linear logic
deterministic tree walking transducers