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

Tôi đang chuẩn bị cho một cuộc nói chuyện nhằm vào các chuyên ngành toán học đại học, và như một phần của nó, tôi đang xem xét thảo luận về khái niệm về tính quyết định. Tôi muốn đưa ra một ví dụ về một vấn đề mà hiện …

92 computability  decidability 

Nếu người ta hạn chế Máy Turing trong một băng hữu hạn (nghĩa là sử dụng không gian giới hạn ), thì vấn đề tạm dừng là có thể quyết định, về cơ bản là vì sau một số bước (có thể được tính từ số trạng thái Q , …

33 turing-machines  decidability 

Tôi biết rằng không thể xác định được liệu một bộ gạch có thể xếp máy bay hay không, kết quả của việc Berger sử dụng gạch Wang . Câu hỏi của tôi là liệu nó cũng được biết đến là undecidable để xác định xem một single cho gạch …

24 reference-request  co.combinatorics  decidability  undecidability 

Người ta biết rằng vấn đề tương đương là không thể giải quyết được đối với các ngôn ngữ không có ngữ cảnh chung. Tuy nhiên, tất cả các bằng chứng về thực tế này mà tôi biết dường như liên quan đến một số ngữ pháp không ngữ cảnh …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Tôi quan tâm đến vấn đề sau: các ma trận nguyên đã cho A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k quyết định xem mọi sản phẩm vô hạn của các ma trận này cuối cùng có bằng ma trận không. Điều này có nghĩa chính xác như những gì bạn nghĩ: chúng ta sẽ …

19 linear-algebra  decidability 

Đó là một kết quả nổi tiếng mà câu hỏi Một ngữ pháp không ngữ cảnh tạo ra một ngôn ngữ thông thường? là không thể giải quyết được Tuy nhiên, nó trở nên có thể quyết định trên một bảng chữ cái đơn nhất, đơn giản vì trong trường …

18 fl.formal-languages  decidability 

Tôi đang cố gắng giải quyết một vấn đề cụ thể và tôi nghĩ rằng tôi có thể giải quyết nó bằng lý thuyết automata. Tôi đang tự hỏi, những mô hình của automata có ngăn chặn có thể quyết định trong thời gian đa thức? tức là nếu bạn …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Tôi biết rằng không thể quyết định -equivalence cho phép tính lambda untyped. Trích dẫn Barendregt, HP Giải tích Lambda: Cú pháp và ngữ nghĩa của nó. Bắc Hà Lan, Amsterdam (1984). :ββ\beta Nếu A và B tách rời nhau, các tập hợp lambda không đóng được đóng theo đẳng …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Mô hình tính toán đơn giản nhất mà vấn đề trống rỗng là không thể giải quyết được là gì? Vấn đề trống rỗng cho một mô hình tính toán (ví dụ: máy tự động trạng thái hữu hạn, máy tự động đẩy xuống xen kẽ, máy tự động lượng …

12 computability  decidability  undecidability  unary-languages 

Các giới hạn đã biết của tính quyết định của việc so sánh tốc độ tăng trưởng của các hàm từ gì? Tôi ở đây nghĩ về tính quyết định của các câu hỏi như "Is x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" …

12 decidability  asymptotics 

Hệ thống bổ sung véc tơ (VAS) là một tập hợp hữu hạn các hành động . là tập hợp các dấu . Một chạy là một từ không có sản phẩm nào của các dấu hiệu st . Nếu một từ như vậy tồn tại, chúng tôi nói rằng …

11 fl.formal-languages  decidability 

Trả lời: không biết Rất cám ơn tất cả những người đã giúp tinh chỉnh câu hỏi này và các định nghĩa liên quan đến nó. Các định nghĩa của wiki này đã cung cấp điểm khởi đầu cho wiki TCS gần đây hơn " P có chứa các ngôn …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Các Robertson-Seymour lý nói rằng bất kỳ nhỏ kín gia đình GG\mathcal G của đồ thị có thể được đặc trưng bởi sự hữu hạn nhiều trẻ vị thành niên bị cấm. Có một thuật toán cho một đầu vào GG\mathcal G xuất ra các vị thành niên bị cấm …

9 graph-theory  decidability  graph-minor 

Hãy xem xét một bối cảnh tự do tùy ý ngữ pháp trên bảng chữ cái { 0 , 1 , ¯ 0 , ¯ 1 } . Để các sản phẩm của ngữ pháp này, thêm hai cố định phi ngữ cảnh tự do sản xuất P : ¯ …

9 context-free  decidability 

Có những vấn đề có thể quyết định được, có một số vấn đề không thể giải quyết được, có khả năng bán được, v.v. Trong trường hợp này, tôi tự hỏi liệu một vấn đề có thể là siêu không thể giải quyết được. Điều này có nghĩa (ít …

9 computability  decidability  undecidability