s'authentifier
version française rss feed

hal-00740701, version 1

A Datalog recognizer for almost affine lambda-CFGs

Pierre Bourreau () 1, Sylvain Salvati (, http://www.labri.fr/perso/salvati) 12

Mathematics of Language 6878 (2011) 21-38

Résumé : The recent emergence of linguistic formalisms exclusively based on the simply-typed λ-calculus to represent both syntax and semantics led to the presentation of innovative techniques which apply to both the problems of parsing and generating natural languages. A common feature of these techniques consists in using strong relations between typing properties and syntactic structures of families of simply-typed λ-terms. Among significant results, an efficient algorithm based on Datalog programming is presented in [Kan07] for context-free grammar of almost linear λ-terms, which are linear λ-terms augmented with a restricted form of copy. We present an extension of this method to terms for which deletion is allowed.

  • Domaine : Informatique/Informatique et langage
  • Mots-clés : abstract categorial grammars – lambda-calculus – context-free lambda-grammars – datalog – deleting grammars... parsing – typing properties
 
  • hal-00740701, version 1
  • oai:hal.archives-ouvertes.fr:hal-00740701
  • Contributeur : 
  • Soumis le : Mercredi 10 Octobre 2012, 16:44:46
  • Dernière modification le : Mercredi 10 Octobre 2012, 16:54:05
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...