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

Câu hỏi về các chương trình đọc mã bằng một ngôn ngữ (ngôn ngữ nguồn) và dịch nó sang một chương trình tương đương bằng ngôn ngữ khác (ngôn ngữ đích).

4
Độ phức tạp thời gian của trình biên dịch
Tôi quan tâm đến sự phức tạp thời gian của một trình biên dịch. Rõ ràng đây là một câu hỏi rất phức tạp vì có nhiều trình biên dịch, tùy chọn trình biên dịch và các biến để xem xét. Cụ thể, tôi quan tâm đến LLVM nhưng sẽ …
54 compilers 
6
Tại sao ngữ pháp mơ hồ xấu?
Tôi hiểu rằng nếu tồn tại 2 hoặc nhiều cây phái sinh trái hoặc phải, thì ngữ pháp là mơ hồ, nhưng tôi không thể hiểu tại sao nó tệ đến mức mọi người đều muốn loại bỏ nó.
2
Tại sao loại khoảng trống của C không giống với loại trống / đáy?
Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
Trình biên dịch hàng loạt là gì?
Tôi có trích dẫn sau đây từ khóa học của nhà soạn nhạc của mình (trong bối cảnh tô màu đồ thị): Bởi vì nó chậm, màu đồ thị có xu hướng được sử dụng trong trình biên dịch hàng loạt, trong khi quét tuyến tính có xu hướng được …
28 compilers 
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.