Hỏi ngay cả một người có nền tảng về khoa học máy tính về biểu thức chính quy là gì và câu trả lời có thể vượt ra ngoài giới hạn của việc nằm trong tầm tay của một máy tự động trạng thái hữu hạn. Ví dụ: biểu thức …
Trong một vài câu hỏi gần đây ( q1 q2 ), đã có cuộc thảo luận về "Lý thuyết A" so với "Lý thuyết B", dường như để nắm bắt sự phân chia giữa nghiên cứu logic và ngôn ngữ lập trình và nghiên cứu về thuật toán và độ …
Có ai đó dám thử làm rõ mối quan hệ của các lĩnh vực nghiên cứu này hay thậm chí có thể đưa ra một câu trả lời cụ thể hơn ở cấp độ của các vấn đề? Giống như bao gồm mà giả sử một số công thức được …
Vì không có phản hồi tại Lambda, Ultimate tôi thử lại ở đây: các hệ thống viết lại thuật ngữ được sử dụng ví dụ trong định lý tự động chứng minh một phép tính tượng trưng, và tất nhiên để xác định ngữ pháp chính thức. Có một số …
Có vấn đề nào trong CS khi không có thuật toán hiệu quả nào được biết đến, mặc dù các định lý tồn tại chứng minh các thuật toán hiệu quả như vậy phải tồn tại? Những vấn đề này được gọi là gì? Tôi có thể tìm hiểu thêm …
Xin lỗi, nếu đây là một câu hỏi ngây thơ, nhưng tôi không thể tìm thấy sự biện minh trong bất kỳ cuốn sách văn bản chính nào như Bondy-Murty, Diestel hoặc West. Đồ thị hoàn hảo có nhiều đặc tính đẹp, nhưng lý do duy nhất chúng được gọi …
Lấy đồ thị có hướng trong đó các cạnh được trang trí bằng số tự nhiên. Chúng tôi muốn tập hợp tất cả các đường dẫn P nằm giữa hai đỉnh v 1 và v 2 sao cho mỗi cạnh liên tiếp trong đường dẫn được trang trí với một …
Một trong những điều tuyệt vời về khoa học máy tính là việc triển khai vật lý theo một nghĩa nào đó "không liên quan". Mọi người đã chế tạo thành công máy tính từ nhiều chất nền khác nhau - rơle, ống chân không, bóng bán dẫn rời rạc, …
Câu hỏi này là về logic mệnh đề và tất cả các lần xuất hiện của "độ phân giải" nên được đọc là "độ phân giải mệnh đề". Câu hỏi này là một cái gì đó cực kỳ cơ bản nhưng nó đã làm phiền tôi trong một thời gian. …
Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …
Trong thời gian dài nhất, tôi đã nghĩ rằng một vấn đề là NP-đầy đủ nếu cả hai (1) NP-hard và (2) nằm trong NP. Tuy nhiên, trong bài báo nổi tiếng "Phương pháp ellipsoid và hậu quả của nó trong tối ưu hóa tổ hợp" , các tác giả …
Chúng ta nói rằng một hàm f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} có thể xây dựng được theo thời gian , nếu tồn tại một máy Turing đa băng xác định mà trên tất cả các đầu vào có độ dài tạo ra tối đa các bước và cho mỗi tồn tại một số đầu …
Tôi hiện đang nghe bài nói của Alan Kays "Nó thực sự phức tạp hay chúng ta chỉ làm cho nó phức tạp?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) trong đó anh ta nói rằng "semaphores là một ý tưởng tồi và có một thứ gọi là thời gian giả vượt trội" (ở …
Định nghĩa duy nhất về "tính toán" mà tôi biết là nghiên cứu về các giới hạn, đạo hàm, tích phân, v.v. trong phân tích. Theo nghĩa nào thì lambda tính toán (hoặc những thứ như mu tính toán) là một "phép tính"? Làm thế nào nó liên quan đến …