Bài viết trình bày việc phát biểu về bài toán SK – là bài toán xác định tập khung dựa trên mô hình khắc phục và sửa lỗi tự động do Chytil và Demner đề xuất trong [3], [4], đối với lớp ngôn ngữ phi ngữ cảnh và chúng tôi đã nêu ra một đặc trưng tổng quát của tập khung tương đương với điều kiện của Chytil và Demner đã nêu ra trong [3], [4], nhưng với đặc trưng này thuận lợi hơn cho việc giải bài toán SK và khảo sát các tính chất của tập khung. | Sửa lỗi tự động trong ngôn ngữ lập trình bài toán SK (SK problem) Taïp chí Kinh teá - Kyõ thuaät Kỹ thuật - Công nghệ SỬA LỖI TỰ ĐỘNG TRONG NGÔN NGỮ LẬP TRÌNH. BÀI TOÁN SK (SK-PROBLEM) Nguyễn Xuân Dũng* TÓM TẮT: Vấn đề phát hiện và khắc phục lỗi trong các bộ phân tích cú pháp của các Trình biên dịch luôn là bài toán khó nhất trong thiết kế cho việc biên dịch các chương trình. Trong bài này chúng tôi phát biểu về bài toán SK – là bài toán xác định tập khung dựa trên mô hình khắc phục và sửa lỗi tự động do Chytil và Demner đề xuất trong [3], [4], đối với lớp ngôn ngữ phi ngữ cảnh và chúng tôi đã nêu ra một đặc trưng tổng quát của tập khung tương đương với điều kiện của Chytil và Demner đã nêu ra trong [3], [4], nhưng với đặc trưng này thuận lợi hơn cho việc giải bài toán SK và khảo sát các tính chất của tập khung. Từ khoá: Tập khung (Skeleton Set), Tiền tố (Preix), Hậu tố (Suix) AUTOMATICALLY CORRECTION IN PROGRAMMING LANGUAGE SK PROBLEM ABSTRACT How to ind out and solve syntax analysis mistakes of programming translators is always the most dificult problem in designing for translating programs In this thesis, we state about SK problem – a problem to deinite skeleton set which bases on overcome model and automatically correction put forward by Chytil and Demner in (3), (4), for non – context language class and we mentioned to general speciic of similar skeleton set with the condition of Chytil and Demner mentioned in (3), (4), this speciic is more convenient for solving SK problem and survey the characteristics of skeleton set. Key words: Skeleton Set, Preix, Suix 1. Môû ñaàu Vấn đề phát hiện và khắc phục lỗi trong phân tích cú pháp của các ngôn ngữ lập trình có một ý nghĩa rất quan trọng trong việc thiết kế và hiện thực các trình biên dịch. Nó sẽ làm tăng tốc độ và hiệu quả của trình biên dịch khi thực thi. Nhiều công trình với những cách tiếp cận khác nhau đã được nghiên cứu và đề xuất để giải quyết các .
