intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Báo cáo khoa học: "Parsing for Semidirectional Lambek Grammar is NP-Complete"

Chia sẻ: Nhung Nhung | Ngày: | Loại File: PDF | Số trang:6

41
lượt xem
2
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

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

Chủ đề:
Lưu

Nội dung Text: Báo cáo khoa học: "Parsing for Semidirectional Lambek Grammar is NP-Complete"

ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
6=>0