Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

John McCarthy, 1960, Communications of the ACM

About this paperEnglish中文日本語beside Englishbeside 中文beside 日本語

This paper is under a licence that does not allow it to be reproduced, so what is here is its front matter and a short abstract. Read it at the publisher's page.

Các hàm đệ quy của biểu thức ký hiệu

và phép tính toán của chúng bằng máy, Phần I

John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. ∗

Tháng 4 năm 1960

1 Giới thiệu

Một hệ thống lập trình được gọi là LISP (viết tắt của LISt Processor) đã được phát triển cho máy tính IBM 704 bởi nhóm Trí tuệ nhân tạo tại M.I.T. Hệ thống được thiết kế để tạo thuận lợi cho các thí nghiệm với một hệ thống được đề xuất gọi là Advice Taker, theo đó một máy có thể được chỉ dẫn để xử lý cả các câu khai báo cũng như các câu mệnh lệnh và có thể thể hiện “common sense” trong việc thực hiện các lệnh của nó. Đề xuất ban đầu [1] cho Advice Taker được đưa ra vào tháng 11 năm 1958. Yêu cầu chính là một hệ thống lập trình để thao tác các biểu thức biểu diễn các câu khai báo và mệnh lệnh được hình thức hóa, sao cho hệ thống Advice Taker có thể thực hiện các suy luận.

Trong quá trình phát triển, hệ thống LISP đã trải qua một số giai đoạn đơn giản hóa và cuối cùng dựa trên một sơ đồ để biểu diễn các hàm đệ quy từng phần của một lớp biểu thức ký hiệu nhất định. Biểu diễn này độc lập với máy tính IBM 704, hoặc bất kỳ máy tính điện tử nào khác, và hiện nay có vẻ thích hợp khi trình bày hệ thống bằng cách bắt đầu với lớp các biểu thức được gọi là S-expressions và các hàm được gọi là S-functions.

∗ Việc đưa bài báo này vào LaTeX được hỗ trợ một phần bởi khoản tài trợ ARPA (ONR) N00014-94-1-0775 cho Stanford University, nơi John McCarthy đã làm việc từ năm 1962. Sao chép với những thay đổi nhỏ về ký hiệu từ CACM, tháng 4 năm 1960. Nếu muốn kiểu chữ chính xác, hãy xem tại đó.

References

  1. J. McCARTHY, Programs with common sense, Paper presented at the Symposium on the Mechanization of Thought Processes, National Physical Laboratory, Teddington, England, Nov. 24-27, 1958. (Published in Proceedings of the Symposium by H. M. Stationery Office).
  2. A. NEWELL AND J. C. SHAW, Programming the logic theory machine, Proc. Western Joint Computer Conference, Feb. 1957.
  3. A. CHURCH, *The Calculi of Lambda-Conversion* (Princeton University Press, Princeton, N. J., 1941).
  4. FORTRAN Programmer’s Reference Manual, IBM Corporation, New York, Oct. 15, 1956.
  5. A. J. PERLIS AND K. SAMELS0N, International algebraic language, Preliminary Report, *Comm. Assoc. Comp. Mach.*, Dec. 1958.

Read off the page by the text layer of the PDF using pdftotext version 26.09.0. Translated into Tiếng Việt by gpt-5, against glossary version 7. Translated from the English.