Tôi đang làm việc để viết một tài liệu dễ đọc về ngữ nghĩa biểu thị của phép tính lambda. Vì vậy, tôi giới thiệu CPO, tính đơn điệu và liên tục. CPO là một tập hợp có thứ tự một phần và phần tử dưới cùng , yêu cầu là phần tử nhỏ nhất trong và sự tồn tại của giới hạn trên nhỏ nhất ( ) cho mỗi chuỗi trong . Hàm nằm giữa hai CPO , là đơn điệu, nếu với tất cả các giá trị sau:
Hàm nằm giữa hai CPO , là liên tục, nếu nó đơn điệu và cho tất cả các chuỗi chúng ta có
Tôi muốn cung cấp cho độc giả của tôi một trực giác tốt về ý nghĩa của các định nghĩa này. Tuy nhiên, tôi không có cái nào tôi có thể viết ra. Sau Glynn Winskel trong cuốn sách của ông »Các Semantics chính thức của Ngôn ngữ lập trình« (1993), phải được đọc như xấp xỉ (trang 72), có nghĩa là có ít nhất càng nhiều thông tin như . Điều này dẫn đến các hàm đơn điệu phản ánh nhiều thông tin hơn về đầu vào trong nhiều thông tin hơn về đầu ra (trang 122). Điều này có phần dễ hiểu đối với tôi. Tuy nhiên, lời giải thích về tính liên tục không rõ ràng đối với tôi:
Như chúng ta sẽ thấy, các hàm tính toán phải liên tục xuất phát từ ý tưởng rằng sự xuất hiện của một đơn vị thông tin trong đầu ra của hàm tính toán chỉ nên phụ thuộc vào sự hiện diện của nhiều đơn vị thông tin hữu hạn trong đầu vào.
(trang 73)
Điều này vẫn chưa rõ ràng với tôi sau khi đọc ví dụ về luồng trong phần 8.2 (trang 121 .123), hoặc câu trả lời này .
Vì vậy, câu hỏi cuối cùng của tôi là: Làm thế nào để tôi thuyết phục độc giả của mình rằng các chức năng tính toán được liên tục? Tại sao không có chức năng tính toán mà không liên tục?
Sẽ thật tuyệt nếu bạn có thể cho tôi câu trả lời / ví dụ không yêu cầu giới thiệu nghiêm ngặt về tính toán hoặc lý thuyết điểm sửa chữa, vì tôi không muốn tập trung vào những điều đó. Ngoài ra, sẽ thật tuyệt nếu không cần biết tính toán lambda và ngữ nghĩa biểu thị của nó trước, bởi vì tôi muốn (và phải) giới thiệu tính đơn điệu và liên tục trước chúng.
EDIT: Theo tính toán, ý tôi là Turing-computable. Vui lòng sửa lại cho tôi nếu tôi hiểu sai định nghĩa của Winskels về tính toán trên trang 337, vì nó không được định nghĩa rõ ràng là Turing-computable nhưng theo cách tương đương (ít nhất là trong mắt tôi).
Ngoài ra tôi muốn chỉ ra một nguồn khác mà tôi tìm thấy để cố gắng giải thích vấn đề của tôi. Nhưng tôi vẫn không hiểu ví dụ của nó, vì về cơ bản nó giống như ví dụ về luồng từ Winskel.
EDIT 2: Nó cũng sẽ là một khởi đầu tốt trong việc giúp tôi hiểu vấn đề để chỉ ra rằng mọi chức năng tính toán là đơn điệu, tức là không tồn tại chức năng tính toán không đơn điệu.