Abstract:
We consider context-free grammars and Lambek grammars enriched with semantic labeling. Such grammars do not just answer whether a given word belongs to the language described by the grammar, but, if the answer is positive, also assign the word a $\lambda $-term that corresponds to the semantic value (“meaning”) of the word. We present a modification of W. Buszkowski's direct translation of context-free grammars in the Chomsky normal form into Lambek grammars; this modification preserves semantic values of words.
\Bibitem{Kuz15}
\by S.~L.~Kuznetsov
\paper On translating context-free grammars into Lambek grammars
\inbook Modern problems of mathematics, mechanics, and mathematical physics
\bookinfo Collected papers
\serial Trudy Mat. Inst. Steklova
\yr 2015
\vol 290
\pages 72--79
\publ MAIK Nauka/Interperiodica
\publaddr Moscow
\mathnet{http://mi.mathnet.ru/tm3648}
\crossref{https://doi.org/10.1134/S0371968515030061}
\elib{https://elibrary.ru/item.asp?id=24045392}
\transl
\jour Proc. Steklov Inst. Math.
\yr 2015
\vol 290
\issue 1
\pages 63--69
\crossref{https://doi.org/10.1134/S0081543815060061}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000363268500006}
\elib{https://elibrary.ru/item.asp?id=24962633}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84944704006}
Linking options:
https://www.mathnet.ru/eng/tm3648
https://doi.org/10.1134/S0371968515030061
https://www.mathnet.ru/eng/tm/v290/p72
This publication is cited in the following 2 articles:
S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804 (2016), 240–256