Encoding second order string ACG with Deterministic Tree Walking Transducers.
SALVATI, Sylvain
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
SALVATI, Sylvain
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
< Leer menos
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Idioma
en
Communication dans un congrès
Este ítem está publicado en
The 11th conference on Formal Grammar, 2006, Malaga. 2007p. 143-156
CSLI Publications
Resumen en inglés
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 ...Leer más >
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 the order of the lexicons of second order ACGs collapses.< Leer menos
Palabras clave en inglés
formal language
abstract categorial grammars
lambda calculus
linear logic
deterministic tree walking transducers
Orígen
Importado de HalCentros de investigación