An Analysis of Lambek's Production Machines
  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. 
Riccardo Pucella