Chủ nghĩa hình thức giống như máy Turing cho mô hình diễn viên

Máy Turing có bảng chữ cái biểu tượng chính thức , trạng thái và mô tả quy tắc chuyển đổi dựa trên cách tính toán được thực hiện.

Mô hình diễn viên đôi khi được đề cập như một mô hình tính toán mạnh mẽ hơn so với máy Turing (không phải ở những gì nó có thể tính toán, mà ở các khía cạnh khác).

Mô hình diễn viên có phải là máy thay thế hoàn toàn thay thế như một mô hình tính toán không?
Liệu The Actor Model cũng có một mô tả tính toán chính thức dựa trên biểu tượng giống như máy Turing?
Các tác nhân có được coi là tương đương với máy Turing không - vì mỗi tin nhắn được xử lý tuần tự (và nguyên tử)?

Có nhiều kết quả lý thuyết dựa trên các máy Turing, ví dụ như vấn đề tạm dừng, tính quyết định, liên quan đến định lý không hoàn chỉnh của Gôdel, v.v.

Những bằng chứng này có thể được chính thức khái quát hóa cho Mô hình diễn viên không? Điều này đã được thực hiện?

— Adi Shavit
nguồn

Tôi nghĩ các diễn viên (như trong Erlang) thường được coi là hoàn thành Turing. Tuy nhiên, có rất nhiều nghiên cứu về tất cả các loại automata hợp tác. Ngoài ra còn có quá trình tính toán . Tôi nghĩ rằng câu hỏi rộng hơn bạn dự đoán. Có lẽ bạn nên tập trung câu hỏi bằng cách cung cấp một ví dụ cụ thể về một hệ thống mà bạn muốn có các mô hình chính thức để mọi người có thể thấy những gì bạn đang theo đuổi.

— Raphael

@Raphael: Bạn có tình cờ tham khảo rằng các diễn viên trong Mô hình diễn viên được coi là hoàn thành Turing không? Tôi quan tâm đến các nguyên tắc cơ bản của tính toán với các mô hình như vậy.

— Adi Shavit

Nó thực sự phụ thuộc vào việc bạn lấy thuật ngữ "người mẫu diễn viên" từ đâu. Tôi biết nó từ Erlang và các thư viện cho các ngôn ngữ khác bắt chước Erlang và những ngôn ngữ đó không có hạn chế nào đối với sức mạnh của một tác nhân duy nhất (do đó, trong thế giới lý thuyết, Turing-Complete). Nhân tiện, bài viết Wikipedia mà bạn liên kết cung cấp hàng tấn tài liệu tham khảo ; bạn đã kiểm tra chúng chưa? Xem thêm cái này .

— Raphael

Googling xung quanh tôi đã tìm thấy một bài báo gần đây với kết quả tốt đẹp về tính đầy đủ và tính quyết định của Turing của Hệ thống diễn viên: Các vấn đề có thể quyết định đối với Hệ thống diễn viên

— Vor

Tính toán pi xuất hiện trong tâm trí, đó là một phép tính proces như trạng thái của @Raphael ở trên. Nó là một mô hình tính toán (Turing-Complete, vì nó có thể mã hóa phép tính lambda). Tất cả các mô hình tính toán đều tương đương phải đối mặt với cùng một vấn đề (như trong: không ai trong số chúng có thể giải quyết vấn đề tạm dừng, v.v.).

— paulotorrens

-2

Các nhà khoa học máy tính nói chung đồng thuận rằng luận điểm Church Turing [1] là chính xác và dứt khoát, tức là máy Turing mô tả tính toán, và các dạng mạnh hơn không thực sự tồn tại và khẳng định rằng mô hình nào đó "mạnh hơn" Turing máy móc với thái độ hoài nghi cực độ, thậm chí gần thù địch. [2] Những người mới đến lĩnh vực không hiểu đầy đủ về khái niệm này là con mồi cho những khẩu hiệu gần như tiếp thị của một số lý thuyết là "mạnh hơn" so với máy Turing nhưng những tuyên bố đó hiếm khi được đưa ra bởi các nhà khoa học máy tính chính thống / có uy tín.

nhưng như một mặt trái của vấn đề này, nhiều mô hình tính toán đã hoàn thành. do đó, trong CS thực tế chủ yếu là thái độ khoan dung, "sống và để sống" với nhiều mô hình tính toán tăng sinh khác nhau tùy thuộc vào những gì phù hợp nhất và thuận tiện cho vấn đề được nghiên cứu. hầu hết các mô hình lập trình cơ bản là Turing hoàn chỉnh với các cấu trúc cơ bản như bộ nhớ, điều kiện và vòng lặp, chương trình con vvetera. do đó, các tuyên bố hợp lý hơn là "mô hình [x] phù hợp hơn để nghiên cứu [y] bởi vì [z]". mô hình Actor tập trung vào việc truyền thông điệp, giao tiếp, đồng thời và một số bảo mật.

tuy nhiên có một số cuộc tranh luận chủ yếu về triết học trong CS về một số mô hình "mạnh hơn".

[1] Luận án Turing của Giáo hội

[2] Các mô hình tương tác của điện toán và luận án Church Turing

— vzn
nguồn

Như tôi đã nói, Diễn viên KHÔNG mạnh hơn về những gì họ có thể tính toán. Chúng (được tuyên bố là) mạnh hơn bằng cách có "chủ nghĩa không giới hạn không liên kết" có liên quan đến hoạt động đồng thời. Những gì bạn đang đề cập đến là siêu tính toán , đó không phải là chủ đề của câu hỏi của tôi.

— Adi Shavit

?! Huh! bummer không thấy bất cứ điều gì về chủ nghĩa không giới hạn trong câu hỏi thực tế của bạn ở trên. cũng không có tham chiếu trực tiếp đến siêu tính toán trong câu trả lời của tôi. đó thực sự là một lĩnh vực nghiên cứu về sự hoàn thiện không Turing, nhưng tài liệu tôi đưa ra là một lĩnh vực khác liên quan đến "mô hình tương tác"

— vzn