Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Một thuật toán Markov tổng quát xử lý cây điều kiện nhằm diễn giải một máy trừu tượng không xác định
Tóm tắt
Bài báo này trình bày một diễn giải thuật toán về một phương pháp định nghĩa chính thức các ngôn ngữ lập trình, có hiệu lực với các ngôn ngữ có cấu trúc tương tự như ALGOL hoặc PL/1. Thuật toán này là Thuật toán Markov Tổng quát (GMA) và mô hình hóa hành vi của máy trừu tượng được định nghĩa bởi nhóm phòng thí nghiệm IBM Vienna cho định nghĩa chính thức của PL/1. Bài báo cung cấp hai mở rộng cho phương pháp GMA: GMA được định nghĩa ở đây là không xác định và xử lý các đối tượng có cấu trúc cây. Bài báo cung cấp một tập hợp các quy tắc định nghĩa thuật toán cùng với một kỹ thuật để tạo ra các biểu diễn tuyến tính cho các đối tượng có cấu trúc cây.
Từ khóa
#thuật toán Markov tổng quát #xử lý cây #máy trừu tượng #ngôn ngữ lập trìnhTài liệu tham khảo
Caracciolo Di Forino, A.,Generalized Markov Algorithms and Automata, In Automata Theory, E. R. Caianiello (Ed.), Academic Press, New York (1966), pp 115–130.
Caracciolo Di Forino, A.,String processing languages and GMA. In Proc. of IFIP Working Conference on Symbol Manipulation Languages, Pisa, Sept. 1966, J. C. Bobrow (Ed.), North Holland Publ. Comp., Amsterdam (1968), pp. 191–206.
Caracciolo Di Forino, A.,Programming languages. In Advances in Information Systems Science, vol. 1, J. T. Tou (Ed.), Plenum Press, New York, Chap. 1.
Caracciolo Di Forino, A. andCarlucci, L.,On an algorithmic interpretation of the formal definition of PL/1, IEI Research Report No B69-4, Pisa (1969).
Caracciolo Di Forino, A. andWolkenstein, N.,On a class of programming languages for symbol manipulation based on extended Markov algorithms, CSCE Research Report, Pisa (1963).
De Bakker, J. W.,Semantics of programming languages. In Advances in Information Systems Science, vol. 2, J. T. Tou (Ed.), Plenum Press, New York (1969) pp. 173–227.
Lucas, P. andLauer, P. andStigleitner, H. Method and notations for the formal definition of programming languages. IBM Laboratory Vienna. Tech. Rep. TR 25-079 (1968).
Lucas, P. andWalk, K.,On the formal description of PL/1. In Annual Review of Automatic Programming, vol. 6, N0 3 (1970).
Markov, A. A.;Theory of Algorithms. Academy of Sciences of the URSS, Moskow (1954).
Walk, K. andAlber, K. et. al.Abstract syntax and interpretation of PL/1. IBM Laboratory Vienna, Tech. Rep. TR 25-082, (1968).