Encoding second order string ACG with Deterministic Tree Walking Transducers. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Encoding second order string ACG with Deterministic Tree Walking Transducers.

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.
No file

Dates and versions

inria-00333886 , version 1 (24-10-2008)

Identifiers

  • HAL Id : inria-00333886 , version 1

Cite

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⟩
75 View
0 Download

Share

Gmail Facebook X LinkedIn More