Encoding second order string ACG with Deterministic Tree Walking Transducers.
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
dc.contributor.author | SALVATI, Sylvain | |
dc.contributor.editor | Shuly Wintner | |
dc.date.accessioned | 2024-04-15T09:54:09Z | |
dc.date.available | 2024-04-15T09:54:09Z | |
dc.date.created | 2006 | |
dc.date.issued | 2007 | |
dc.date.conference | 2006 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198650 | |
dc.description.abstractEn | 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. | |
dc.language.iso | en | |
dc.publisher | CSLI Publications | |
dc.subject.en | formal language | |
dc.subject.en | abstract categorial grammars | |
dc.subject.en | lambda calculus | |
dc.subject.en | linear logic | |
dc.subject.en | deterministic tree walking transducers | |
dc.title.en | Encoding second order string ACG with Deterministic Tree Walking Transducers. | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
bordeaux.page | 143-156 | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | The 11th conference on Formal Grammar | |
bordeaux.country | ES | |
bordeaux.conference.city | Malaga | |
bordeaux.peerReviewed | oui | |
hal.identifier | inria-00333886 | |
hal.version | 1 | |
hal.invited | non | |
hal.proceedings | oui | |
hal.conference.organizer | Paola Monachesi; Gerald Penn; Giorgio Satta; Shuly Wintner | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//inria-00333886v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2007&rft.spage=143-156&rft.epage=143-156&rft.au=SALVATI,%20Sylvain&rft.genre=unknown |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |