Tôi không thể cung cấp cho bạn câu trả lời trực tiếp cho máy tự động, nhưng cho các chức năng về số.
Phép tính lambda chưa được xử lý tương ứng với μchức năng -recursive .
Đối với các hệ thống đánh máy, nó tự nhiên thay đổi cho các hệ thống khác nhau.
Một điều thú vị là Hệ thống F , còn được gọi là phép tính lambda đa hình. Có một định lý nói rằng
Một hàm (trên các số tự nhiên) có thể biểu thị được trong Hệ thống F khi và chỉ khi nó có thể được chứng minh theo số học Peano thứ hai mà hàm đó là tổng.
Điều này có nghĩa là trong Hệ thống F, bạn có thể thể hiện cơ bản tất cả các hàm tổng có thể tưởng tượng được.
Có một chút hệ thống yếu, hệ thống T Gödel, mà ở đó là một định lý rất giống nhau cho đầu tiên trật tự Peano số học. (Tuy nhiên, hệ thống này không đẹp như Hệ thống F. Trong Hệ thống F, bạn có thể biểu diễn các số tự nhiên, booleans, v.v., trong khi Hệ thống T được xây dựng dưới dạng phép tính lambda được gõ đơn giản với các hàm tự nhiên và booleans được thêm vào bên ngoài. Ngoài ra, Hệ thống F có dạng đa hình. , làm cho nó thanh lịch hơn nhiều trong nhiều trường hợp.)
Xem thêm: