Nếu Máy Turing là máy tự động tương đương với phép tính , thì máy tự động tương đương với máy tính gì? Tôi cho rằng đó sẽ là một loại automata giống với Turing Machine, nhưng có hỗ trợ cho các kênh liên lạc hoặc tín hiệu thuộc loại nào đó, nhưng tôi không chắc chắn, và sẽ đánh giá cao một số hướng.
Tôi nghĩ (được dán nhãn) hệ thống chuyển tiếp thường được coi là tương đương. Lý thuyết tự động / ngôn ngữ cổ điển không thực sự được áp dụng vì chúng tôi không xây dựng những người chấp nhận ở đây.
—
Raphael
@Raphael, bạn vui lòng giải thích về câu thứ hai của bạn chứ?
—
BlueBomber
@BlueBomber Bạn có thể giải thích câu hỏi của bạn một chút không? Theo nghĩa nào thì các TM "automata tương đương với -calculus"? Sức mạnh biểu cảm? Thì -calculus giống như -calculus và TM. Automata với các kênh tương tác là quá trình tính toán.
—
Martin Berger
@Martin Berger, chúng tôi học được một cách bất thường rằng máy tính lambda và máy Turing tương đương với sức mạnh tính toán, có lẽ đó là những gì bạn đề cập đến bởi sức mạnh biểu cảm, nhưng đó không phải là ý tôi. Theo như tôi có thể nói, không có cách nào trong máy tính lambda hoặc máy Turing thể hiện "chờ tín hiệu trên kênh c trước khi tiếp tục". Tính toán pi có điều đó, và các máy tính hiện đại cũng vậy (và tôi hiểu rằng nó không nhất thiết phải tăng sức mạnh / tính biểu cảm của hệ thống theo nghĩa chính thức).
—
BlueBomber
@BlueBomber Như tôi đã chỉ ra trong câu trả lời của mình cho câu hỏi này , máy Turing có thể biểu thị đang chờ kênh, nhưng mô hình có xu hướng bất tiện, ví dụ: bạn cần mã hóa kênh, tín hiệu, v.v. như một chuỗi nhất định mà bạn đặt trên băng. Nếu bạn muốn thuận tiện hơn, bạn phải đi tính toán mô hình hóa các tính năng bạn muốn một cách rõ ràng. Có rất nhiều, ví dụ như các TM tương tác, CCS, CSP và tính toán.
—
Martin Berger