An Analysis of Lambek's Production Machines

@article{Pucella1997AnAO,
  title={An Analysis of Lambek's Production Machines},
  author={Riccardo Pucella},
  journal={RAIRO Theor. Informatics Appl.},
  year={1997},
  volume={31},
  pages={483-497}
}
  • Riccardo Pucella
  • Published 23 May 2004
  • Computer Science, Mathematics
  • RAIRO Theor. Informatics Appl.
Lambek's production machines may be used to generate and recognize sentences in a subset of the language described by a production grammar. We determine in this paper the subset of the language of a grammar generated and recognized by such machines. 

Figures from this paper

References

SHOWING 1-10 OF 19 REFERENCES
A PRODUCTION GRAMMAR FOR ENGLISH KINSHIP TERMINOLOGY
This is an exposition of the method, used elsewhere for Malagasy and Hindi, to describe kinship terminologies by means of production grammars. Such a grammar should generate all admissible kinshipExpand
Production grammars revisited
TLDR
Un but est de demontrer que les grammaires de production constituent un moyen facile et direct pour the description du langage naturel, a travers les regles de reecriture. Expand
A PRODUCTION GRAMMAR FOR HINDI KINSHIP TERMINOLOGY
We attempt to make explicit the largely unconscious grammatical rules underlying Hindi kinship terminology in the form of a production grammar. The structure rules generate an infinite set ofExpand
Formal languages and their relation to automata
  • J. Hopcroft, J. Ullman
  • Computer Science
  • Addison-Wesley series in computer science and information processing
  • 1969
TLDR
The theory of formal languages as a coherent theory is presented and its relationship to automata theory is made explicit, including the Turing machine and certain advanced topics in language theory. Expand
A MATHEMATICIAN LOOKS AT FRENCH CONJUGATION
This article takes a naive look at the problem of conjugating the French verb, attention being confined to written French: namely how to find for each of seven tenses and each of six persons theExpand
A rewrite System of the Western Pacific: LOUNSBURY’S ANALYSIS OF TROBRIAND KINSHIP TERMINOLOGY
Dans cet article, les As. examinent l'analyse de Lounsbury concernant la logique sous-jacente d'un fragment de langue des habitants de l'ile de Trobriand, notamment leur terminologie liee a laExpand
Formal Languages and Power Series
  • A. Salomaa
  • Computer Science, Mathematics
  • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
  • 1990
TLDR
The chapter describes a class of generating devices that are somewhat different from Grammars but still equivalent to grammars in the sense that the family of languages generated by the new devices equals theFamily of recursively enumerable languages. Expand
Programs, grammars and arguments: a personal view of some connections between computation, language and logic
  • J. Lambek
  • Computer Science
  • Bull. Symb. Log.
  • 1997
TLDR
Some of the more recent developments of these notions of computability and their relevance to linguistics and logic are discussed. Expand
A MATHEMATICIAN LOOKS AT LATIN CONJUGATION
It is perhaps only fitting that a mathematician should take a look at the Latin verb, as generations of mathematicians were first exposed to mathematical rigour when learning to conjugate the verbExpand
The Theory of Algorithms
TLDR
The author discusses how to approach problems from the right end, and investigates such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes. Expand
...
1
2
...