Khoa học máy tính

Tôi hiện đang học tính toán lambda và đã tự hỏi về hai loại khác nhau sau đây viết một thuật ngữ lambda. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Có sự khác biệt nào về ý nghĩa hay cách bạn áp …

11 logic  lambda-calculus 

Tôi có ngôn ngữ sau { 0Tôi1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Tôi đang cố gắng xác định lớp ngôn ngữ Chomsky nào phù hợp với nó. Tôi có thể thấy làm thế nào nó có thể được thực hiện bằng cách sử dụng …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Nếu tôi hiểu chính xác, NFA có sức mạnh biểu cảm tương tự như biểu thức thông thường. Thông thường, việc đọc các biểu thức chính quy tương đương từ NFA rất dễ dàng: bạn dịch các chu kỳ sang các ngôi sao, các mối nối như là lựa chọn …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Điều này có thể giáp với khoa học nhận thức tính toán, nhưng tôi tò mò về cách quá trình tiếp theo các thuật toán tìm đường thông thường (như A * ) so sánh với quá trình con người sử dụng trong các tình huống tìm đường khác nhau …

11 algorithms  graphs  artificial-intelligence 

Làm thế nào có thể quyết định liệu có một số các chữ số? ππ\pitruyền cảm hứng cho tôi để hỏi liệu biến thể trông ngây thơ sau đây có thể tính toán được không: f( n ) = { 10nếu n¯ xảy ra ở các đại diện thập phân …

11 computability  real-numbers 

Hệ thống viết lại là một bộ các quy tắc trong các hình thức của . Nếu chúng ta áp dụng quy tắc đó cho chuỗi w, chúng ta sẽ thay thế bất kỳ chuỗi con A nào trong w bằng chuỗi con B và ngược lại.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Cho …

11 computability  term-rewriting 

Một quả uống yêu cầu người dùng để chèn một đồng xu ( ), sau đó một thao tác bấm ba nút: ˉ d trà yêu cầu một tách trà e trà , như trên cho cà phê, và ˉ r yêu cầu một khoản hoàn lại (tức là máy …

11 logic  concurrency  modelling  process-algebras  ccs 

Hãy , L 2 , L 3 , ... là một trong fi nite chuỗi các ngôn ngữ bối cảnh tự do, mỗi trong số đó là de fi định nghĩa trên một bảng chữ cái phổ biến . Đặt là liên kết của , , , ; tức là …

11 formal-languages  context-free  closure-properties 

Hãy xem xét một hệ thống tệp được nhắm mục tiêu vào một số thiết bị nhúng không chỉ lưu trữ các tệp trong cấu trúc thư mục phân cấp. Hệ thống tệp này thiếu nhiều thao tác bạn có thể sử dụng trong các hệ thống như unix và …

11 operating-systems  filesystems 

Tôi đã quan sát thấy rằng có hai loại trạng thái khác nhau trong dự đoán nhánh. Trong thực thi siêu khối, trong đó dự đoán nhánh là rất quan trọng, và nó chủ yếu là trong độ trễ thực thi thay vì tìm nạp độ trễ. Trong đường dẫn …

11 cpu-pipelines  computer-architecture 

Khẳng định nào sau đây là đúng? điều kiện đủ và cần thiết về tính đều đặn của một ngôn ngữ tồn tại nhưng chưa được khám phá. Không có điều kiện đủ và cần thiết về tính đều đặn của ngôn ngữ. Bơm bổ đề là một điều kiện …

11 formal-languages  regular-languages 

Về mặt lý thuyết có thể chỉ định một ngôn ngữ lập trình mà không có triển khai nào có thể tồn tại không? Một ngôn ngữ lập trình là một cách xác định chức năng. Việc triển khai có nghĩa là một phương thức để thực thi một chương …

11 formal-languages  computability  programming-languages 

Xem xét mã giả này của bong bóng: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Điều gì …

11 algorithms  time-complexity  sorting  average-case 

Cho một ma trận thực đối xứng , có một thuật toán tính tổng trên tất cả với độ phức tạp thời gian tốt hơn O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

Trong câu hỏi này, tôi đã hỏi sự khác biệt giữa bộ và loại . Những câu trả lời này đã thực sự được làm rõ (ví dụ @AndrejBauer), vì vậy trong sự khao khát kiến ​​thức của mình, tôi chấp nhận sự cám dỗ của việc hỏi tương tự …

11 sets  category-theory