If you need an accessible version of this item please contact JSTOR User Support

Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages

N. Francez and M. Kaminski
Studia Logica: An International Journal for Symbolic Logic
Vol. 87, No. 2/3, Categorical Grammars and Pregroups (Dec., 2007), pp. 295-321
Published by: Springer
Stable URL: http://www.jstor.org/stable/40210812
Page Count: 27
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages
Preview not available

Abstract

The paper presents a generalization of pregroup, by which a freely-generated pregroup is augmented with a finite set of commuting inequations, allowing limited commutativity and cancelability. It is shown that grammars based on the commutation-augmented pregroups generate mildly context- sensitive languages. A version of Lambek's switching lemma is established for these pregroups. Polynomial parsability and semilinearity are shown for languages generated by these grammars.

Page Thumbnails

  • Thumbnail: Page 
[295]
    [295]
  • Thumbnail: Page 
296
    296
  • Thumbnail: Page 
297
    297
  • Thumbnail: Page 
298
    298
  • Thumbnail: Page 
299
    299
  • Thumbnail: Page 
300
    300
  • Thumbnail: Page 
301
    301
  • Thumbnail: Page 
302
    302
  • Thumbnail: Page 
303
    303
  • Thumbnail: Page 
304
    304
  • Thumbnail: Page 
305
    305
  • Thumbnail: Page 
306
    306
  • Thumbnail: Page 
307
    307
  • Thumbnail: Page 
308
    308
  • Thumbnail: Page 
309
    309
  • Thumbnail: Page 
310
    310
  • Thumbnail: Page 
311
    311
  • Thumbnail: Page 
312
    312
  • Thumbnail: Page 
313
    313
  • Thumbnail: Page 
314
    314
  • Thumbnail: Page 
315
    315
  • Thumbnail: Page 
316
    316
  • Thumbnail: Page 
317
    317
  • Thumbnail: Page 
318
    318
  • Thumbnail: Page 
319
    319
  • Thumbnail: Page 
320
    320
  • Thumbnail: Page 
321
    321