The synchronized graphs trace the context-sensitive languagesReport as inadecuate




The synchronized graphs trace the context-sensitive languages - Download this document for free, or read online. Document in PDF available to download.

1 LIGM - Laboratoire d-Informatique Gaspard-Monge

Abstract : Morvan and Stirling have proved that the context-sensitive languages are exactly the traces of graphs de ned by transducers with labelled nal states. We prove that this result is still true if we restrict to the traces of graphs de ned by synchronized transducers with labelled nal states. From their construction, we deduce that the context-sensitive languages are the languages of path labels leading from and to rational vertex sets of letter-to-letter rational graphs.





Author: Chloé Rispal -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents