Algoritma yang efisien untuk memperbarui pohon parse

Katakanlah saya memiliki blok kode besar yang sudah saya lex dan parsing.
Misalkan hanya satu karakter yang berubah; Saya ingin memperbarui penguraian saya, tetapi karena modifikasinya sangat kecil dibandingkan dengan semuanya, saya ingin tahu apakah mungkin untuk tidak menguraikan semuanya lagi, tetapi jika ada algoritma untuk menentukan kisaran untuk mengurai kembali , dan untuk menangani dengan benar batas token yang bergerak.

Terima kasih sebelumnya!

Sesuai permintaan @Agos, saya mengubah komentar menjadi jawaban.

Pertama, saya harus mengakui bahwa saya tidak benar-benar berpengetahuan di bidang ini. Namun saya sarankan Anda membaca makalah Membangun parser ramah dan Parsing Incremental Efisien dan Fleksibel untuk memiliki pandangan tentang algoritma apa yang digunakan untuk parsing inkremental sebelum tahun 2000.

Untuk perawatan terbaru, Anda dapat melihat makalah ini:

• Parsing fungsional tambahan Lazy (2009)
• Praktis, inkremental, parsing nonkanonik: metode Celentano dan algoritma parsing LR Piecewise Generalized (2006)
• Validasi tambahan dokumen XML (2004)
• Penguraian inkremental dalam editor berbasis bahasa: kebutuhan pengguna dan bagaimana cara memenuhinya (2001)
• Parsing Incremental dan Preprocessor C (Tidak dapat menemukan PDF di mana pun. Ini dari cache Google.)

Info lebih lanjut: Ada (setidaknya) dua pendekatan untuk parsing / kompilasi:

• The Batch pendekatan, di mana seluruh blok kode parsing / disusun.
• The inkremental pendekatan, di mana dokumen tersebut pertama parsing / disusun dalam modus batch, dan kemudian ada perubahan terdeteksi dan minimal re-parsing / re-kompilasi diterapkan. Pendekatan ini tidak hanya meningkatkan kecepatan parse / kompilasi, tetapi juga membantu dalam fitur IDE yang bagus seperti kompilasi latar belakang , yang terkait dengan kompilasi malas . (Anda juga dapat mencari tentang fitur komersial seperti IntelliSense ).

jika parser inkremental Anda menyimpan status di setiap ujung baris, Anda menguraikan ulang hanya dari kondisi parser yang valid terakhir (paling tidak, misalnya setelah parser penuh, ini hanya permulaan baris di mana modifikasi dimulai) dan berhenti mengurai di akhir garis di mana modifikasi berakhir (parser internal mungkin melihat ke depan di luar modifikasi untuk mengenali struktur dengan benar)