The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars

Abstract : We show that the class of string-meaning relations definable by the following two types of grammars coincides: (i) Lambek grammars where each lexical item is assigned a (suitably typed) lambda term as a representation of its meaning, and the meaning of a sentence is computed according to the lambda- term corresponding to its derivation; and (ii) cycle-free context-free grammars that do not generate the empty string where each rule is associated with a (suitably typed) lambda term that specifies how the meaning of a phrase is determined by the meanings of its immediate constituents.
Type de document :
Communication dans un congrès
Formal Grammar, 2013, Tuebingen, Germany. 2013
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00945526
Contributeur : Sylvain Salvati <>
Soumis le : jeudi 13 février 2014 - 09:08:57
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : mardi 13 mai 2014 - 22:21:06

Fichier

cfglambek.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00945526, version 1

Collections

Citation

Makoto Kanazawa, Sylvain Salvati. The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars. Formal Grammar, 2013, Tuebingen, Germany. 2013. 〈hal-00945526〉

Partager

Métriques

Consultations de la notice

149

Téléchargements de fichiers

77