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

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Làm cách nào để chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard? Tôi không yêu cầu một câu …

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Thứ tự áp dụng: Luôn đánh giá đầy đủ các đối số của hàm trước khi tự đánh giá hàm, như - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 …

14 logic  lambda-calculus  normal-forms 

Tôi hiểu rằng ngữ pháp không ngữ cảnh có thể được sử dụng để thể hiện các ngôn ngữ không ngữ cảnh. Nó có thể có sự mơ hồ. Chúng tôi cũng có các hình thức bình thường như Chomsky và Greibach hình thức bình thường. Tôi không thể hiểu …

12 formal-languages  context-free  formal-grammars  normal-forms 

Liên quan đến luồng Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard (và một luồng toán học có liên quan ): Làm thế nào về hướng khác, từ DNF đến CNF? Nó dễ hay khó? Trên trang 2 của bài báo này , họ dường như …

10 complexity-theory  logic  satisfiability  normal-forms 

Các ngữ pháp biểu thức phân tích cú pháp (PEG) không rõ ràng và có cú pháp tương tự bề ngoài với BNF , nhưng bao gồm ba điểm khác biệt quan trọng: Các toán tử lựa chọn ra lệnh e1 / e2 / e3. Các vị ngữ và vị …

7 context-free  formal-grammars  normal-forms