Khoa học máy tính

Đây là một câu hỏi từ Sách Rồng. Đây là ngữ pháp: Một → ε B → εS→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Câu hỏi hỏi làm thế nào để chỉ ra rằng đó là LL (1) chứ không phải là SLR (1). Để chứng …

11 formal-grammars  compilers  parsers 

Sự khác biệt giữa máy Turing xác định và không xác định là gì? Các mô hình khác nhau nhưng tương đương của NDTM. Cụ thể, cụm từ được sử dụng thường xuyên này là "đoán không đặc biệt" là gì? Làm thế nào để sử dụng nó đúng, và …

11 turing-machines  nondeterminism 

Tôi đã hỏi câu hỏi này trong StackOverflow. Tôi đã được yêu cầu chuyển đến đây. vì vậy đây là: Tôi cần một số giải thích và đầu vào liên quan đến thuật toán của Dijkstra so với tìm kiếm đầu tiên trong các biểu đồ có hướng, nếu những …

11 algorithms  graphs 

Tôi đang cố gắng tranh luận rằng N không bằng NP bằng các định lý phân cấp. Đây là lý lẽ của tôi, nhưng khi tôi đưa nó cho giáo viên của chúng tôi và sau khi suy luận, anh ấy nói rằng đây là vấn đề mà tôi không …

10 complexity-theory  time-complexity  p-vs-np 

Tôi đã nghe về tất cả các biện pháp ngăn chặn Tấn công trung gian này và tôi tự hỏi, làm thế nào điều này có thể hoạt động nếu người đàn ông ở giữa chỉ nghe luồng của bạn và không muốn tự thay đổi tin nhắn. Người đàn …

10 cryptography  security 

Cụ thể, nếu tôi xác định mới là thay vì liệu -calculus có phải là cơ sở cạnh tranh không?K2K2K_2K2= λ x . ( λ y. y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y)K= λ x . ( λ y. x )K=λx.(λy.x)K = \lambda x. (\lambda y. x){ S, K2, Tôi}{S,K2,I}\{S, …

10 lambda-calculus  combinatory-logic 

Tôi đang làm việc thông qua một bài tập khó trong sách giáo khoa và tôi không thể tìm ra cách tiến hành. Đây là vấn đề. Giả sử chúng ta có ngôn ngữ trong đó là một số vô tỷ. Làm thế nào tôi có thể chứng minh rằng …

10 formal-languages  automata  context-free 

Hãy →β→β\to_\beta be ββ\beta -reduction trong λλ\lambda -calculus. Xác định ββ\beta -expansion ←β←β\leftarrow_\beta bởi t′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . Là ←β←β\leftarrow_\beta confluent? Nói cách khác, chúng ta có mà cho bất kỳ l,d,rl,d,rl,d,r , nếu l→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* r , sau đó có tồn tại uuu như vậy l←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* …

10 lambda-calculus  term-rewriting 

Tôi không biết nơi nào khác để hỏi câu hỏi này, tôi hy vọng đây là một nơi tốt. Tôi chỉ tò mò muốn biết liệu có thể tạo ra máy tính lambda không; về cơ bản, một vòng lặp sẽ, trong thời gian vô hạn, tạo ra mọi hàm …

10 lambda-calculus 

Trong lập trình phụ thuộc, có hai cách chính để phân tách dữ liệu và thực hiện đệ quy: Khớp mẫu phụ thuộc : định nghĩa hàm được đưa ra dưới dạng nhiều mệnh đề. Hợp nhất đảm bảo rằng tất cả các trường hợp bị bỏ qua là không …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

Hoàn cảnh của tôi Tôi đang viết một bài báo trình bày một mô-đun phần mềm tôi đã phát triển và tôi muốn so sánh thời gian chạy của nó với các mô-đun khác cho cùng một nhiệm vụ. Tôi nhận thức được những hạn chế của các thử nghiệm …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Mối quan tâm chính của tôi là liệu lập trình di truyền có phải là một lĩnh vực nghiên cứu tích cực hay không, với một số ứng dụng đầy hứa hẹn trong thực tế. Có vẻ như trong lĩnh vực học máy, mạng lưới thần kinh là từ thông …

10 machine-learning  evolutionary-computing 

Tôi đã gặp thuật ngữ này nhiều lần, trong các tài liệu giáo dục CS khác nhau: L2 CS162 (UC Berkeley): I / O được ánh xạ bộ nhớ L4 CS162 (UC Berkeley): Bộ nhớ ánh xạ tập tin L24 CS61 (UC Berkeley): Bộ nhớ đã ánh xạ bộ nhớ …

10 data-structures  operating-systems  memory-management 

Tôi đang đọc bài báo "Máy tính và trí thông minh" của Turing ( https://www.csee.umbc.edu/cifts/471/ con / turing.pdf ) và tìm thấy một đoạn trong đó anh ta nói: Tôi đã thiết lập trên máy tính Manchester một chương trình nhỏ chỉ sử dụng 1.000 đơn vị lưu trữ, theo …

10 algorithms  history 

Bạn được cung cấp một mảng có độ dài . Mỗi phần tử của mảng thuộc về một trong các lớp K. Bạn phải sắp xếp lại mảng bằng cách sử dụng số lượng hoạt động hoán đổi tối thiểu để tất cả các phần tử từ cùng một lớp …

10 terminology  reference-request  sorting  arrays