Câu hỏi được gắn thẻ «compilers»

Đây là một câu hỏi từ Sách Rồng. Đây là ngữ pháp: Một → ε B → εS→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Câu hỏi hỏi làm thế nào để chỉ ra rằng đó là LL (1) chứ không phải là SLR (1). Để chứng …

11 formal-grammars  compilers  parsers 

Ai đó có thể khai sáng cho tôi lý do tại sao một trình phân tích cú pháp gốc đệ quy với quay lui thử các sản phẩm và (theo thứ tự đó) không nhận ra ngôn ngữ được tạo bởi ngữ pháp .S→ một SmộtS→mộtSmộtS \rightarrow aSaS→ một mộtS→mộtmộtS …

10 context-free  formal-grammars  compilers  parsers 

Tôi đang tìm kiếm các nguồn lực để bắt đầu với phân tích chương trình . Cuốn sách duy nhất tôi tìm thấy về chủ đề này là cuốn sách Nielson & Nielson . Ngoài ra, có vẻ như chỉ có những cuốn sách "trình biên dịch" trong đó "phân …

10 reference-request  compilers  semantics 

Tôi đã tham gia một khóa học về trình biên dịch trong các nghiên cứu đại học của mình, trong đó chúng tôi đã viết một trình biên dịch biên dịch các chương trình nguồn bằng ngôn ngữ giống như đồ chơi Java thành ngôn ngữ lắp ráp đồ chơi …

10 compilers  computer-architecture 

Hãy là tập hợp các thiết bị đầu cuối và N tập các biểu tượng không đầu cuối của một số bối cảnh tự do văn phạm G .ΣΣ\SigmaNNNGGG Nói rằng tôi có một chuỗi mà x một y ∈ S ( G ) nơi x , y ∈ ( …

10 algorithms  context-free  formal-grammars  compilers 

Tôi là một sinh viên khoa học máy tính. Tôi muốn tạo ngôn ngữ lập trình của riêng mình (Một ngôn ngữ cơ bản với một vài hướng dẫn). Tôi biết làm thế nào để làm một phân tích cú pháp, tôi đã làm nó trong Perl. Trong một bài …

10 programming-languages  compilers 

Trong các khái niệm về ngôn ngữ lập trình , John Mitchell viết rằng kiểm tra kiểu tĩnh nhất thiết phải bảo thủ (quá nghiêm ngặt) vì vấn đề dừng. Ông đưa ra một ví dụ: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Ai đó có thể cung cấp một câu …

9 programming-languages  compilers  type-checking 

Câu trả lời của @ Babou cho một câu hỏi gần đây nhắc nhở tôi rằng có lúc tôi nghĩ rằng tôi đã đọc một bài báo về sự tương đương (về cả hai sự kiện có thể được suy luận hoặc chứng minh và độ phức tạp của thời …

9 reference-request  compilers  type-inference  program-optimization 

Tôi đang nghiên cứu Bootstrapping từ Trình biên dịch sách Red Dragon và thấy sơ đồ T cho trình biên dịch chéo khá khó hiểu. Tôi không thể hiểu ý nghĩa của "Chạy trình biên dịch1 thông qua trình biên dịch2". Bất cứ ai có thể cung cấp một số …

9 compilers  terminology 

Tôi muốn tìm hiểu thêm về lập trình ghép nối thông qua việc tạo ra một ngôn ngữ đơn giản nhỏ, dựa trên ngăn xếp và tuân theo mô hình ghép. Thật không may, tôi đã không tìm thấy nhiều tài nguyên liên quan đến các ngôn ngữ kết hợp …

8 logic  programming-languages  compilers  type-theory  type-checking 

Tôi đọc câu này trong một cuốn sách: Trong kiến ​​trúc VLIW, trình biên dịch / và trình biên dịch hợp ngữ chọn các lệnh có thể được thực thi song song. Sự khác biệt giữa nhà văn lắp ráp và trình biên dịch là gì? Một nhà văn lắp …

8 compilers  assembly 

Nói rằng, tôi muốn tạo ngôn ngữ lập trình của riêng tôi. Giả sử rằng tôi đã đưa ra tất cả các quyết định về cách tôi muốn nó nhìn và hành động, tôi chỉ cần viết một trình biên dịch cho nó? Ví dụ, mã Java cấp cao có …

8 programming-languages  compilers 

Về mặt lý thuyết, có thể có trình biên dịch Lisp / Scheme có thể tạo mã có thể cạnh tranh với C được biên dịch không, giả sử trong phạm vi 15-25%? Trong thử nghiệm của tôi, tôi đã phát hiện ra rằng cây trồng hiện tại của trình …

8 optimization  compilers 

Tôi đang làm việc với trình phân tích cú pháp cho ngôn ngữ kiểu C và đối với trình phân tích cú pháp đó, tôi cần biểu thức chính quy khớp với kiểu C / ** / nhận xét. Bây giờ, tôi đã tìm thấy biểu thức này trên web: …

8 compilers  parsers  regular-languages 

Ở đây tôi thực sự quan tâm đến việc hạ thấp các rào cản đối với giáo dục toán học. Mục tiêu: Tôi muốn thấy được tạo cho cộng đồng JavaScript, tương đương với các thư viện tính toán hiệu năng cao và khoa học dựa trên Python (các danh …

8 programming-languages  compilers  performance