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

Trong khóa học Lý thuyết tính toán của tôi, rất nhiều vấn đề của chúng tôi liên quan đến việc sử dụng cảm ứng trên độ dài của chuỗi đầu vào để chứng minh các tuyên bố về automata hữu hạn. Tôi hiểu cảm ứng toán học, tuy nhiên khi …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Tất cả các automata hữu hạn không xác định …

20 automata  finite-automata  nondeterminism 

Tôi đã đọc trang wikipedia cho quy tắc 110 trong automata di động và tôi ít nhiều biết cách chúng hoạt động (một bộ quy tắc quyết định nơi sẽ vẽ 1 hoặc 0 tiếp theo). Tôi vừa đọc xong Turing, nhưng tôi thậm chí không thể hiểu được bạn …

19 computability  automata  turing-completeness  cellular-automata 

Để cho L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Là thường xuyên?LLL Câu hỏi này thoạt nhìn có vẻ nghi ngờ và tôi đã nhận ra rằng nó được kết nối với phỏng đoán nguyên tố …

19 formal-languages  automata  regular-languages  finite-automata 

Tôi bị mắc kẹt trong câu hỏi sau đây: "Các ngôn ngữ thông thường chính xác là những ngôn ngữ được chấp nhận bởi automata hữu hạn. Với thực tế này, cho thấy rằng nếu ngôn ngữ được chấp nhận bởi một số máy tự động hữu hạn, thì L …

19 formal-languages  regular-languages  automata  finite-automata 

Là một máy Turing không có khả năng ghi trên các ô trống kém mạnh hơn Turing tiêu chuẩn? Tôi nghĩ câu trả lời là có nhưng tôi không thể tìm thấy một tính toán mà máy Turing tiêu chuẩn có thể làm được nhưng máy này thì không. Có …

18 formal-languages  turing-machines  computability  automata 

Một ngữ pháp không ngữ cảnh có thể bao gồm "trạng thái chết" từ một máy tự động, chẳng hạn như G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B …

18 context-free  automata  formal-grammars 

Định nghĩa chính của máy Turing (TM), ít nhất là trong sách giáo khoa tham khảo của riêng tôi (Hopcroft + Ullman 1979) mang tính quyết định. Do đó sự hiểu biết của riêng tôi về vấn đề tạm dừng chủ yếu dành cho TM xác định, mặc dù tôi …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Ví dụ: khi chúng tôi xem xét một DFA cho phép các chuỗi không có chuỗi phụ 00hoặc 11tôi có thể tạo hai DFA sau:

17 automata  finite-automata 

Tôi đã sử dụng FSM trong các thiết kế Mạch tuần tự kỹ thuật số. Nhưng tôi không quen thuộc với Finite Automata. Ai đó có thể giúp tôi hiểu sự khác biệt 'cơ bản' giữa hai người không?

16 terminology  automata  finite-automata 

Tôi tự hỏi liệu điều này có khả thi hay không, vì . Do đó, một PDA có thể phân biệt một từ w \ in \ {a ^ nb ^ nc ^ n \ mid n \ geq 0 \} với phần còn lại của \ {a ^ * …

16 formal-languages  automata  context-free  pushdown-automata 

Máy tự động hữu hạn xác định (DFA) là một mô hình máy trạng thái có khả năng chấp nhận tất cả và chỉ các ngôn ngữ thông thường. Các DFA có thể được (và thường là) được định nghĩa theo cách mà mỗi trạng thái phải cung cấp một …

16 formal-languages  automata  finite-automata 

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

16 formal-languages  automata  closure-properties 

Các máy đếm có hai hoặc nhiều bộ đếm thường được hiển thị tương đương với máy Turing trong các khóa học về lý thuyết tính toán. Tuy nhiên, tôi chưa thấy một phân tích chính thức về ngôn ngữ nào có thể được nhận ra bởi một máy đếm. …

15 computability  automata 

Có các thuộc tính không thể giải quyết được của automata giới hạn tuyến tính (tránh các thủ thuật ngôn ngữ thiết lập trống)? Điều gì về một máy tự động hữu hạn xác định? (đặt sang một bên độ hấp dẫn). Tôi muốn lấy một ví dụ (nếu có …

15 computability  automata  undecidability