Parsing for Semidirectional Lambek Grammar is NP-Complete

Computer Science – Computation and Language

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

7 pages, LaTeX source (uses aclap.sty, tree-dvips.{sty,pro})

Scientific paper

We study the computational complexity of the parsing problem of a variant of Lambek Categorial Grammar that we call {\em semidirectional}. In semidirectional Lambek calculus $\SDL$ there is an additional non-directional abstraction rule allowing the formula abstracted over to appear anywhere in the premise sequent's left-hand side, thus permitting non-peripheral extraction. $\SDL$ grammars are able to generate each context-free language and more than that. We show that the parsing problem for semidirectional Lambek Grammar is NP-complete by a reduction of the 3-Partition problem.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Parsing for Semidirectional Lambek Grammar is NP-Complete does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Parsing for Semidirectional Lambek Grammar is NP-Complete, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parsing for Semidirectional Lambek Grammar is NP-Complete will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-521336

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.