Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-00945526
Contributor : Sylvain Salvati <>
Submitted on : Thursday, February 13, 2014 - 9:08:57 AM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Long-term archiving on: : Tuesday, May 13, 2014 - 10:21:06 PM

File

cfglambek.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00945526⟩

Share

Metrics

Record views

240

Files downloads

283