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

Ngữ pháp này được để lại đệ quy: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Vì vậy, trên lý thuyết, dòng dõi …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Câu hỏi: Có bất kỳ văn bản giới thiệu nào trong ngôn ngữ chính thức hoặc lý thuyết ngôn ngữ lập trình thảo luận về cách áp dụng nó vào nghiên cứu ký hiệu tối ưu không? Cụ thể, tôi muốn tìm hiểu ngôn ngữ ngăn xếp, cây phân tích …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Có vấn đề nào về tính quyết định trong đó chưa được biết nhưng chắc chắn rằng các vấn đề ít khó khăn hơn vấn đề tạm dừng.

8 computability  reference-request  undecidability 

Tôi đã không thể tìm thấy một biểu đồ mô tả hoặc văn bản trả lời câu hỏi sau: Có mối quan hệ trực tiếp giữa độ phức tạp của thuật toán (chẳng hạn như trường hợp tốt nhất / tồi tệ nhất của sắp xếp nhanh) và lớp automata …

8 complexity-theory  automata  reference-request  complexity-classes 

Có các ứng dụng trong thế giới thực của Bài toán cây Steiner (STP) không? Tôi hiểu rằng thiết kế chip VSLI là một ứng dụng tốt của STP. Có bất kỳ ví dụ nào khác về các vấn đề trong thế giới thực mà mọi người có thể đề …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

Một TA đã bỏ qua hôm nay để hỏi một số điều về NP và đồng NP. Chúng tôi cũng đến một điểm mà tôi bị bối rối: biểu đồ Venn của P, NPI, NP và co-NP trông như thế nào khi giả sử P ≠ NP (trường hợp khác …

8 complexity-theory  reference-request  complexity-classes  np 

Đã có một số lượng lớn nghiên cứu về các thuật toán loại trừ lẫn nhau - ví dụ, rất nhiều trong số đó được trình bày trong sách giáo khoa cổ điển như Nghệ thuật lập trình đa bộ xử lý , trong đó toàn bộ một chương dành …

8 reference-request  concurrency  mutual-exclusion 

Lớp của Nick (NC) là lớp các vấn đề có thể được quyết định trong thời gian đa log bằng cách sử dụng số lượng bộ xử lý đa thức. Tôi muốn biết về sự tương tự theo cấp số nhân, nó sẽ bao gồm các vấn đề có thể …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Tôi là một lập trình viên tự học và đã viết mã được 8 năm. Do kinh nghiệm này, tôi đã rất quen thuộc với các nguyên tắc lập trình (chẳng hạn như câu lệnh if, lớp, đa hình, v.v.). Tuy nhiên, tôi chưa bao giờ học "khoa học máy …

8 reference-request 

Gần đây tôi đã xử lý một vấn đề dẫn tôi đến những câu hỏi sau: Có một thuật toán tốt để liệt kê tất cả các kết hợp tối đa / hoàn hảo trong một biểu đồ chung không? Có một thuật toán tốt để tìm tất cả các …

8 algorithms  complexity-theory  graph-theory  reference-request  matching 

Tôi đang tìm kiếm một bài viết dễ dàng và giới thiệu về bằng chứng của Định lý của Courcelle . Tôi cũng quan tâm đến mối liên hệ của nó với sự phức tạp được tham số hóa liên quan đến treewidth . Tôi chỉ là người mới bắt …

8 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity 

Tôi là một tiến sĩ bắt đầu sinh viên ngành khoa học máy tính, và tôi đang cố gắng tìm hiểu một số bài báo lý thuyết trò chơi cổ điển, chẳng hạn như những bài của Nash, Kalai và Smorodinsky. Nhưng tôi thấy khó hiểu các phần toán học. …

8 reference-request  game-theory  mathematical-analysis 

Các slide bài giảng này phác họa một bằng chứng rằng không thể được chấp nhận bởi bất kỳ Đẩy lùi xác định nào Máy tự động. Thật không may, các slide không đưa ra tài liệu tham khảo nào về việc bằng chứng đến từ đâu.L={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Hãy xem xét vấn đề vũ trụ sau đây . Vấn đề vũ trụ. Cho một tập hữu hạn cho một lớp học ngôn ngữ, và một automaton chấp nhận ngôn ngữ L , quyết định nếu L = Σ * .ΣΣ\SigmaLLLL = Σ*L=Σ∗L=\Sigma^* Trong [1], người ta đã tuyên …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Tôi đang tìm kiếm các ứng dụng thực tế của Máy trạng thái hữu hạn như máy DFA, NFA, Moore, Mealy ... Sẽ rất hữu ích nếu ai đó chỉ ra các ví dụ từ Linux Kernel. Tôi biết rằng DFA được sử dụng trong khớp chuỗi như thuật toán …

8 reference-request  automata  finite-automata