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

Đặt chuỗi đầu vào là . Sau đó, nếu một NFA hiện đang trong trạng thái (và có đọc đầu vào tối đa bảng chữ cái ) sau đó trước khi đọc ký hiệu đầu vào hôm sau chia tách NFA thành hai NFA, một con người trong trạng thái …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Tôi dường như nhớ lại từ một lớp đại học rằng đối với một máy Turing có băng hữu hạn sẽ luôn tồn tại một Máy chủ trạng thái hữu hạn tương ứng, nhưng tôi không thể tìm thấy xác nhận này ở bất cứ đâu trên internet. Đây thực …

9 turing-machines  finite-automata 

Hàm Boolean là hàm .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Cơ sở boolean được biết đến là Turing hoàn thành vì nó cho phép bất kỳ chuỗi s ∈ { 0 , 1 } để được lộn hoặc bị bỏ lại không thay đổi. Điều tương tự cũng có thể nói về cổng X O …

9 turing-machines  turing-completeness  boolean-algebra 

Trong một câu hỏi trước đó chính xác thuật toán là gì? , Tôi đã hỏi liệu có một "thuật toán" trả về giá trị của hàm dựa trên một mảng các giá trị được tính toán trước có phải là một thuật toán hay không. Một trong những câu …

9 turing-machines  computation-models 

Ở trường đại học, chúng tôi đã học về lý thuyết tính toán nói chung và máy Turing cụ thể hơn. Một trong những kết quả lý thuyết tuyệt vời là với chi phí của một bảng chữ cái (ký hiệu) có khả năng lớn, bạn có thể giảm số …

9 turing-machines  context-free  parsers 

Đọc câu hỏi này " RE tự nhiên không thể giải quyết được vấn đề nhưng không hoàn thành Turing ", ngôn ngữ sau đây xuất hiện trong đầu tôi: Nếu là chức năng hải ly bận rộn (điểm số tối đa có thể đạt được trong số tất cả …

9 computability  turing-machines 

Tại sao các số tính toán (theo nghĩa của Turing) là vô số? Nó phải rất rõ ràng, nhưng tôi hiện không thấy nó.

9 computability  turing-machines  enumeration 

Máy Turing có được phép đọc và viết ký hiệu từ bảng chữ cái vô hạn mạnh hơn TM thông thường không (đó là điểm khác biệt duy nhất, máy vẫn có số lượng trạng thái hữu hạn)? Trực giác nói với tôi là không, vì bạn cần vô số …

9 computability  turing-machines  reductions  simulation 

Tôi muốn sử dụng sự giúp đỡ của bạn với vấn đề sau: L = { ⟨ M⟩ ∣ L ( M) không có ngữ cảnh }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . rằng .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Tôi biết …

9 formal-languages  computability  context-free  turing-machines 

Vào những năm 1950, một số phương pháp tối thiểu hóa mạch cho các hàm Boolean đã được phát minh. Có một phần mở rộng của các phương thức đó hoặc bất cứ điều gì tương tự để tối ưu hóa thời gian hoặc độ phức tạp không gian của …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

Trước hết, tôi xin lỗi nếu điều này đã được hỏi, nhưng tôi thực sự không tìm thấy gì. Tôi đã tình cờ thấy bài viết này . Nó nói rằng có một vấn đề mà chỉ Máy tính lượng tử có thể giải quyết. Theo hiểu biết của tôi, …

8 turing-machines  quantum-computing  church-turing-thesis 

Trong vài năm qua, tôi đã chế tạo một máy tính cơ học được cung cấp bởi các viên bi và tạo ra một trò chơi từ đó. Nó tương tự như Digi-Comp II cũ, ngoại trừ hai điểm khác biệt chính: Các bộ phận được định vị lại trên …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Chúng tôi vừa hoàn thành bài học "Khả năng xây dựng thời gian" trong lớp vào tuần trước và, ví dụ, chúng tôi đã chỉ ra rằng hoàn toàn có thể xây dựng được, tức là tồn tại một máy Turing (nhiều băng xác định) cho , dừng lại sau …

8 complexity-theory  turing-machines  time-complexity 

Tôi muốn xác định xem vấn đề quyết định này là có thể quyết định. Tôi đã cố gắng thiết lập các mức giảm từ Halt và "Chấp nhận chuỗi rỗng", nhưng tôi chưa tìm thấy giải pháp. Ai đó có thể giúp tôi không?

8 computability  turing-machines  undecidability 

Ví dụ: chúng ta có thể nói rằng chúng ta có một chương trình trừu tượng, được cung cấp một chuỗi nhị phân hữu hạn làm đầu vào, loại bỏ tất cả các số không (ví dụ 0010001101011 ước tính thành 111111), đây chắc chắn là một hàm tính toán …

8 computability  turing-machines