# 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} }

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

- Sociology
- 1986

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 kinship… Expand

Production grammars revisited

- Computer Science
- 1993

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

- Sociology
- 1983

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 of… Expand

Formal languages and their relation to automata

- Computer Science
- Addison-Wesley series in computer science and information processing
- 1969

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

- Computer Science
- 1975

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 the… Expand

A rewrite System of the Western Pacific: LOUNSBURY’S ANALYSIS OF TROBRIAND KINSHIP TERMINOLOGY

- Philosophy
- 1995

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 la… Expand

Formal Languages and Power Series

- Computer Science, Mathematics
- Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
- 1990

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

- Computer Science
- Bull. Symb. Log.
- 1997

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

- Mathematics
- 1979

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 verb… Expand

The Theory of Algorithms

- Mathematics, Computer Science
- 1961

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