Báo cáo khoa học: "Generative Power of CCGs with Generalized Type-Raised Categories"

This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to the standard CCGs not involving variables. The proof is based on the idea that any instance of such a grammar can be simulated by a standard CCG.

Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN

Báo cáo khoa học: "Constraints on strong generative power"
8    50    0

Báo cáo khoa học: "COMBINATORY CATEGORIAL RELATIONSHIP TO LINEAR GRAMMARS: GENERATIVE POWER AND CONTEXT-FREE REWRITING SYSTEMS""
8    36    0

Báo cáo khoa học: "Generative Power of CCGs with Generalized Type-Raised Categories"
3    40    0

Báo cáo khoa học: "ON THE GENERATIVE POWER OF TWO LEVEL MORPHOLOGICAL RULES"
7    34    0
TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    41422    2437

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    25319    252

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học
25    25069    4310

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam
16    20495    2850

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động
20    19872    1551

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án
14    19797    2980

Bảng biến đổi Laplace và biến đổi Z
1    19690    625

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM
3    16618    332

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên
37    16544    2961

Sự so sánh văn bản văn học và tác phẩm văn học
1    15211    139
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG

Drivers of unprofessional behaviour between staff in acute care hospitals: A realist review
22    23    1    27-11-2024

Service delivery interventions to improve maternal and newborn health in low-and middle-income countries: Scoping review of quality improvement, implementation research and health system strengthening approaches
14    18    1    27-11-2024

Bước đầu nghiên cứu đặc điểm sinh học và khả năng nhân giống bằng hom cây Dổi đất (Piper auritum kunth)
8    17    2    27-11-2024

Developing hospital resilience domains in facing disruption era in Indonesia: A qualitative study
14    18    1    27-11-2024

Khung pháp lý về doanh nghiệp khởi nghiệp sáng tạo trong bối cảnh chuyển đổi số tại Việt Nam hiện nay
10    17    1    27-11-2024

Career guidance for school students - German experiences and lessons for Vietnamese schools
6    20    1    27-11-2024

Les enjeux des droits de la propriété intellectuelle sur le “métavers” dans l’économie numérique - Si la création du monde réel se cache-t-il derrière le glamour du monde virtuel?
16    13    1    27-11-2024

Health care system costs related to potentially inappropriate medication use involving opioids in older adults in Canada
11    21    1    27-11-2024

Ebook Matrix algebra - Theory, computations, and applications in statistics: Part 1
273    19    1    27-11-2024

Fight against crime facing the challenge of digital economic transformation
9    17    1    27-11-2024

Physician perspective on the implementation of risk mitigation strategies when prescribing opioid medications: A qualitative analysis
13    18    1    27-11-2024

Ebook MATLABR for electrical and computer engineering students and professionals: Paer 1
335    15    1    27-11-2024

Định lượng khả năng lưu trữ carbon trên mặt đất tầng cây cao của kiểu rừng tự nhiên lá rộng nửa rụng lá tại Khu Dự trữ sinh quyển Đồng Nai
11    24    1    27-11-2024

The early impacts of primary HPV cervical screening implementation in Australia on the pathology sector: A qualitative study
11    15    1    27-11-2024

Digital economy and challenges for the law criminality - International experience and implications for Viet Nam
12    18    1    27-11-2024

Câu chuyện của những người làm báo ở chiến trường: Phần 1
91    23    1    27-11-2024

Hospital doctors’ and general practitioners’ perspectives of outpatient discharge processes in Australia: An interpretive approach
11    22    1    27-11-2024

Giá trị của tư tưởng Hồ Chí Minh về chủ nghĩa xã hội trong giai đoạn hiện nay
12    18    1    27-11-2024

Is it possible to automate the discovery of process maps for the time-driven activity-based costing method? A systematic review
13    62    1    27-11-2024

Cross‑validation of comorbidity items in two national databases in a sample of patients with end‑stage kidney disease
10    17    1    27-11-2024
TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3    25319    252

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh
13    41422    2437

CẬP  NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020
3    3096    81

Sách trắng Doanh nghiệp Việt Nam năm 2020
580    5440    365

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ
584    3653    101

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC
62    7043    1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING
171    6019    724

Quản trị khủng hoảng trong quan hệ công chúng
2    3496    78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp
51    4788    200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”
53    5098    189
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.