Skip to Main content Skip to Navigation
Conference papers

Encoding second order string ACG with Deterministic Tree Walking Transducers.

Sylvain Salvati 1
1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR5800
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00333886
Contributor : Sylvain Salvati <>
Submitted on : Friday, October 24, 2008 - 12:47:00 PM
Last modification on : Thursday, February 11, 2021 - 2:52:01 PM

Identifiers

  • HAL Id : inria-00333886, version 1

Collections

Citation

Sylvain Salvati. Encoding second order string ACG with Deterministic Tree Walking Transducers.. The 11th conference on Formal Grammar, Paola Monachesi; Gerald Penn; Giorgio Satta; Shuly Wintner, 2006, Malaga, Spain. pp.143-156. ⟨inria-00333886⟩

Share

Metrics

Record views

202