Khoa học máy tính compilers

4

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 6 năm trước . Trong thiết kế trình biên dịch, tại sao phải …

20 formal-grammars compilers left-recursion

3

Phân tích cú pháp ngữ pháp không có ngữ cảnh tùy ý, chủ yếu là các đoạn ngắn

Tôi muốn phân tích các ngôn ngữ cụ thể miền do người dùng xác định. Các ngôn ngữ này thường gần với các ký hiệu toán học (tôi không phân tích ngôn ngữ tự nhiên). Người dùng xác định DSL của họ theo ký hiệu BNF, như thế này: expr …

20 formal-languages parsers compilers

6

Tại sao trình biên dịch sản xuất mã lắp ráp?

Ngôn ngữ hội được chuyển đổi sang ngôn ngữ máy bằng trình biên dịch chương trình. Tại sao một trình biên dịch sẽ chuyển đổi ngôn ngữ cấp cao để lắp ráp? Nó có thể chuyển đổi trực tiếp từ ngôn ngữ cấp cao sang mã máy không?

19 compilers code-generation assembly

2

Tại sao gán đơn tĩnh được ưa thích hơn kiểu chuyển tiếp trong nhiều trình biên dịch được sử dụng trong ngành?

Theo trang Wikipedia về phân công đơn tĩnh (SSA) , SSA được sử dụng bởi các dự án lớn và nổi tiếng như LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey và V8 trong khi trang về các dự án sử dụng kiểu tiếp tục truyền (CPS) là một chút thiếu so …

15 compilers program-optimization continuations

1

Tại sao phân tách từ vựng và phân tích cú pháp?

Có thể phân tích tài liệu bằng một lần chuyển từ máy trạng thái. Lợi ích của việc có hai đường chuyền là gì, tức là. có một lexer để chuyển đổi văn bản thành mã thông báo và có trình phân tích cú pháp để kiểm tra quy tắc …

15 compilers parsers

1

Gõ suy luận với các loại sản phẩm

Tôi đang làm việc trên một trình biên dịch cho một ngôn ngữ nối và muốn thêm hỗ trợ suy luận kiểu. Tôi hiểu Hindley, Milner, nhưng tôi đã học lý thuyết loại khi tôi đi, vì vậy tôi không chắc làm thế nào để thích nghi với nó. Là …

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

2

Thuộc tính nào của khuyết điểm cho phép loại bỏ các khuyết điểm modulo đệ quy đuôi?

Tôi quen thuộc với ý tưởng loại bỏ đệ quy đuôi cơ bản , trong đó các hàm trả về kết quả trực tiếp của một cuộc gọi đến chính chúng có thể được viết lại dưới dạng các vòng lặp. foo(...): # ... return foo(...) Tôi cũng hiểu rằng, …

14 compilers recursion program-optimization tail-recursion

3

Có sự khác biệt thực sự giữa trình biên dịch và trình biên dịch không?

Có sự khác biệt nào giữa hai người không? Theo sách của Ullman , trình biên dịch chuyển đổi một ngôn ngữ sang ngôn ngữ khác (thường là cấp độ thấp) và trình biên dịch cũng vậy. Hai người khác nhau như thế nào?

14 terminology compilers

6

Có phải một cây cú pháp trừu tượng phải là một cây?

Có phải đầu ra của một trình phân tích cú pháp phải là một cây hoặc nó cũng có thể là biểu đồ chung? Hơn nữa, có bất kỳ ngôn ngữ hiện có hoặc một ngôn ngữ hợp lý sử dụng biểu diễn đồ thị chung thay vì cây cho …

13 compilers parsing

3

Tại sao việc sử dụng một lexer / trình phân tích cú pháp trên dữ liệu nhị phân lại quá sai?

Tôi thường làm việc với lexer / trình phân tích cú pháp , trái ngược với trình kết hợp trình phân tích cú pháp và thấy những người chưa bao giờ tham gia một lớp phân tích cú pháp, hỏi về phân tích dữ liệu nhị phân. Thông thường dữ …

13 programming-languages compilers parsers

2

Loại bỏ đệ quy trái trong ngữ pháp trong khi duy trì liên kết trái của toán tử

Tôi có một vấn đề với bài tập này: Đặt G là ngữ pháp mơ hồ sau đây cho phép tính: E → v | λv.E | EE | (E) Trong đó E là ký hiệu không đầu cuối duy nhất, λv.E đại diện cho sự trừu tượng viết biến …

13 context-free formal-grammars compilers parsers

3

Làm thế nào để 'phá rừng' loại bỏ 'cây' khỏi một chương trình?

Tôi nghĩ hiểu cách phá rừng tiêu thụ và tạo ra một danh sách cùng một lúc (từ một nếp gấp và một hàm mở ra - xem câu trả lời hay này trên CodeReview ở đây ), nhưng khi tôi so sánh với mục wikipedia về kỹ thuật thì …

12 terminology compilers functional-programming

2

Có cách nào để phân biệt ngữ pháp LL (k) và LR (k) không?

Gần đây tôi đang nghiên cứu về thiết kế Trình biên dịch. Tôi đã biết về hai loại ngữ pháp một là ngữ pháp LL và loại khác là ngữ pháp LR. Chúng ta cũng biết một sự thật rằng mỗi ngữ pháp LL là LR ngữ pháp LL là …

12 formal-grammars compilers parsers lr-k ll-k

1

Cách tiếp cận CPS của người dùng đã làm hại rất nhiều đến hiệu suất trong SML / NJ; lý luận mong muốn

Trong một nhận xét cho Học tập F #: Những cuốn sách sử dụng các ngôn ngữ lập trình khác có thể được dịch sang F # để tìm hiểu các khái niệm chức năng? Makarius tuyên bố: Lưu ý rằng phương pháp "CPS" đã gây hại rất lớn đến …

11 compilers functional-programming proof-assistants continuations

1

Suy ra các loại sàng lọc

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

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