Tôi đã suy nghĩ vào một ngày khác, và tôi nhận ra rằng tất cả các chương trình máy tính dường như có thể biểu diễn dưới dạng biểu đồ (ví dụ cây cú pháp trừu tượng) hoặc, khi biểu thức chung được kết hợp, biểu đồ cú pháp trừu tượng.
Tôi nhận thấy rằng có lẽ bất kỳ chương trình máy tính nào cũng có thể được biểu diễn dưới dạng một trong những biểu đồ + ngữ nghĩa đánh giá kèm theo nó. Tôi tò mò liệu có ai biết điều này có đúng với máy turing không (tôi giả sử bạn có thể có được một biểu đồ vô hạn tiềm năng, nhưng đây là toán học nên không sao). Tôi đã suy nghĩ về nó và rất nhiều thứ như các hệ thống loại mạnh và rất phù hợp với sự trừu tượng này (chúng áp đặt các ràng buộc về cấu trúc trên biểu đồ). Thậm chí, bạn có thể xem xét hệ thống loại chương trình của riêng mình và biểu thị đó là một biểu đồ + ngữ nghĩa đánh giá khác nhau hoạt động trên biểu đồ chương trình ...
Chỉ tò mò liệu đây có phải là một sự tương đương được biết đến hay không.