Khoa học máy tính

Đây có phải là nhiệm vụ của phần mềm (hệ điều hành) để phát hiện tràn ngăn xếp hay là tràn ngăn xếp được phát hiện trong phần cứng, gây ra ngoại lệ trong CPU?

26 computer-architecture  stacks 

Hầu hết chúng ta đều biết sự tương ứng giữa logic kết hợp và phép tính lambda . Nhưng tôi chưa bao giờ thấy (có lẽ tôi chưa nhìn đủ sâu) tương đương với "tổ hợp đánh máy", tương ứng với phép tính lambda được gõ đơn giản. Liệu những …

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Câu hỏi này được lấy cảm hứng từ một bình luận trên StackOverflow . Ngoài việc biết các vấn đề NP-đầy đủ của cuốn sách Garey Johnson, và nhiều vấn đề khác; Có một quy tắc nào để biết liệu một vấn đề có giống NP-hoàn chỉnh không? Tôi không …

26 complexity-theory  np-complete  intuition 

Có nhiều kỹ thuật để chứng minh rằng một ngôn ngữ không có ngữ cảnh, nhưng làm cách nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh? Có những kỹ thuật nào để chứng minh điều này? Rõ ràng, một cách là thể hiện một ngữ pháp …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Tôi đang học ngôn ngữ lập trình Haskell, và tôi đang cố gắng che giấu sự khác biệt giữa a typevà a kindlà gì. Theo tôi hiểu , a kind is a type of type. Ví dụ, a ford is a type of carvà a car is a kind of …

26 type-theory 

Là bối cảnh ngôn ngữ sau đây miễn phí? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Như được chỉ ra bởi sdcvvc, một từ trong ngôn ngữ này cũng có thể được mô tả là …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Khi nào một số trường hợp (tương đối) cơ bản (nghĩ rằng sinh viên CS cấp đại học năm thứ nhất) khi một người sẽ sử dụng đệ quy thay vì chỉ một vòng lặp?

26 algorithms  recursion 

Tôi biết rằng thuật toán của Euclid là thuật toán tốt nhất để có được GCD (ước số chung lớn) của danh sách các số nguyên dương. Nhưng trong thực tế, bạn có thể mã hóa thuật toán này theo nhiều cách khác nhau. (Trong trường hợp của tôi, tôi …

26 algorithms  recursion  arithmetic 

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ư 7 năm trước . Được biết, mỗi vấn đề tối ưu hóa / …

26 complexity-theory  optimization  search-problem  decision-problem 

Tôi đã nghe nhiều lần rằng với các giá trị đủ nhỏ của n, O (n) có thể được nghĩ về / được xử lý như thể đó là O (1). Ví dụ : Động lực để làm như vậy dựa trên ý tưởng không chính xác rằng O (1) …

26 asymptotics 

Câu hỏi này đã được di chuyển từ Toán học Stack Exchange vì nó có thể được trả lời trên Exchange Science Stack Exchange. Di cư 6 năm trước . Dominosa là một trò chơi giải đố tương đối mới. Nó được phát trên lưới . Trước khi trò chơi …

26 complexity-theory  np-hard  board-games  tiling 

Xét chỉ bảng chữ cái , các chuỗi có thể được đưa ra là đầu vào cho các máy Turing là từ tập Σ * . Nhưng nó có ý nghĩa cho đầu vào là một chuỗi nhị phân vô hạn? Ví dụ: nếu máy Turing chấp nhận tất cả …

26 turing-machines 

Giả sử các yêu cầu bộ đệm l1 và l2 dẫn đến sai sót, bộ xử lý có bị đình trệ cho đến khi bộ nhớ chính được truy cập không? Tôi đã nghe về ý tưởng chuyển sang một chủ đề khác, nếu vậy những gì được sử dụng …

26 computer-architecture  cpu-cache  cpu-pipelines 

Tôi đã thấy hai định nghĩa về cây nhị phân cân bằng, trông khác với tôi. Cây nhị phân được cân bằng nếu với mỗi nút, số lượng nút bên trong trong cây con bên trái và số lượng nút bên trong cây con bên phải khác nhau nhiều nhất …

26 data-structures  binary-trees 

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 . Tôi đã tạo một lexer và trình phân tích cú pháp biểu thức chính quy đơn giản để lấy một biểu thức …

26 automata  finite-automata  regular-expressions