Thuật toán hiệu quả để cập nhật cây phân tích cú pháp

Giả sử tôi có một khối mã lớn mà tôi đã viết và phân tích cú pháp.
Giả sử chỉ cần một nhân vật thay đổi; Tôi muốn cập nhật phân tích cú pháp của mình, nhưng vì sửa đổi rất nhỏ so với toàn bộ, tôi muốn biết liệu có thể không phân tích lại toàn bộ hay không, nhưng nếu có thuật toán để xác định phạm vi để phân tích lại và để xử lý chính xác các ranh giới mã thông báo di chuyển.

Cảm ơn trước!

Theo yêu cầu của @Agos, tôi đã biến nhận xét thành câu trả lời.

Đầu tiên, tôi phải thừa nhận rằng tôi không thực sự am hiểu về lĩnh vực này. Tuy nhiên, tôi khuyên bạn nên đọc các bài viết Xây dựng trình phân tích cú pháp thân thiện và Phân tích cú pháp tăng dần hiệu quả và linh hoạt để có cái nhìn về thuật toán nào được sử dụng để phân tích cú pháp gia tăng trước năm 2000.

Đối với phương pháp điều trị cập nhật, bạn có thể xem các giấy tờ này:

• Phân tích cú pháp chức năng lười biếng (2009)
• Phân tích cú pháp thực tế, tăng dần, phi núi: Phương pháp Celentano và thuật toán phân tích cú pháp tổng quát hóa Piecewise LR (2006)
• Xác thực tăng dần các tài liệu XML (2004)
• Phân tích cú pháp tăng dần trong các trình soạn thảo dựa trên ngôn ngữ: nhu cầu của người dùng và cách đáp ứng chúng (2001)
• Phân tích cú pháp tăng dần và Bộ tiền xử lý C (Không thể tìm thấy PDF ở bất cứ đâu. Đó là từ bộ đệm của Google.)

Thông tin thêm: Có (ít nhất) hai cách tiếp cận để phân tích / biên dịch:

• Cách tiếp cận hàng loạt , trong đó toàn bộ khối mã được phân tích cú pháp / biên dịch.
• Cách tiếp cận gia tăng , trong đó tài liệu được phân tích / biên dịch đầu tiên trong chế độ hàng loạt, sau đó các thay đổi được phát hiện và phân tích lại / biên dịch lại tối thiểu được áp dụng. Cách tiếp cận này không chỉ làm tăng tốc độ phân tích cú pháp / biên dịch, mà còn giúp các tính năng tiện lợi của IDE như biên dịch nền , có liên quan đến việc biên dịch lười biếng . (Bạn cũng có thể tìm kiếm về các tính năng thương mại như IntelliSense ).

nếu trình phân tích cú pháp gia tăng của bạn lưu trạng thái ở mỗi đầu dòng, bạn chỉ phân tích lại từ trạng thái trình phân tích cú pháp hợp lệ cuối cùng (ví dụ: sau khi phân tích đầy đủ, đây chỉ là bắt đầu dòng bắt đầu sửa đổi) và dừng phân tích cú pháp ở cuối của dòng nơi sửa đổi kết thúc (trình phân tích cú pháp bên trong có thể nhìn về phía trước ngoài sửa đổi để nhận ra cấu trúc đúng)