Show simple item record

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorSALVATI, Sylvain
dc.contributor.editorShuly Wintner
dc.date.accessioned2024-04-15T09:54:09Z
dc.date.available2024-04-15T09:54:09Z
dc.date.created2006
dc.date.issued2007
dc.date.conference2006
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198650
dc.description.abstractEnWe 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.isoen
dc.publisherCSLI Publications
dc.subject.enformal language
dc.subject.enabstract categorial grammars
dc.subject.enlambda calculus
dc.subject.enlinear logic
dc.subject.endeterministic tree walking transducers
dc.title.enEncoding second order string ACG with Deterministic Tree Walking Transducers.
dc.typeCommunication dans un congrès
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
bordeaux.page143-156
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleThe 11th conference on Formal Grammar
bordeaux.countryES
bordeaux.conference.cityMalaga
bordeaux.peerReviewedoui
hal.identifierinria-00333886
hal.version1
hal.invitednon
hal.proceedingsoui
hal.conference.organizerPaola Monachesi; Gerald Penn; Giorgio Satta; Shuly Wintner
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00333886v1
bordeaux.COinSctx_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

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record