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

Định nghĩa của tập hợp các hoạt động được phép sử dụng để tính toán và chi phí tương ứng của chúng. Một số ví dụ về các mô hình bao gồm máy Turing, chức năng đệ quy, tính toán lambda và hệ thống sản xuất.

1
Là không xác định trong một máy Turing không xác định khác với máy tự động hữu hạn và tự động đẩy xuống?
Đặ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 …
1
Tôi đã chế tạo một máy tính cơ học chạy bằng viên bi. Những hạn chế lý thuyết của nó là gì?
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 …
1
Lớp nhỏ nhất của mô hình automata có lớp ngôn ngữ tương ứng chứa CFL và được đóng lại (dis) cho phép không thuyết phục trong mô hình
Từ một bình luận , một câu hỏi thú vị xuất hiện. Lớp CFL (các ngôn ngữ được công nhận bởi các PDA) rõ ràng không bị đóng cửa theo thuyết không điều kiện - điều tôi muốn nói là điều này là các PDA xác định không có sức …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.