Algoritmo eficiente para atualizar uma árvore de análise

Digamos que eu tenho um grande bloco de código que já lexei e analisei.
Suponha que apenas um caractere mude; Gostaria de atualizar minha análise, mas como a modificação é muito pequena em comparação com a coisa toda, gostaria de saber se é possível não analisar a coisa toda novamente, mas se existem algoritmos para determinar o intervalo a ser analisado novamente e para lidar adequadamente com os limites de token em movimento.

Desde já, obrigado!

Conforme solicitação do @Agos, transformei o comentário em uma resposta.

Primeiro, devo admitir que não tenho muito conhecimento nesse campo. No entanto, sugiro que você leia os documentos Construindo analisadores amigáveis e Análise incremental eficiente e flexível para ter uma visão de quais algoritmos foram usados ​​para análise incremental antes de 2000.

Para tratamentos atualizados, você pode dar uma olhada nestes documentos:

• Análise incremental funcional preguiçosa (2009)
• Análise prática, incremental e não-canônica: o método de Celentano e o algoritmo de análise Generalized Piecewise LR (2006)
• Validação incremental de documentos XML (2004)
• Análise incremental em editores baseados em idiomas: necessidades do usuário e como atendê-las (2001)
• Análise incremental e pré-processador C (não foi possível encontrar o PDF em nenhum lugar. É do cache do Google.)

Mais informações: Existem (pelo menos) duas abordagens para análise / compilação:

• A abordagem em lote , na qual todo o bloco de código é analisado / compilado.
• A abordagem incremental , na qual o documento é analisado / compilado primeiro no modo em lote, e então as alterações são detectadas e a re-análise / recompilação mínima é aplicada. Essa abordagem não apenas aumenta a velocidade de análise / compilação, mas também ajuda nos recursos interessantes do IDE, como a compilação em segundo plano , que está relacionada à compilação lenta . (Você também pode pesquisar sobre recursos comerciais, como o IntelliSense ).

se o seu analisador incremental salva o estado em cada extremidade da linha, você analisa novamente apenas do último estado válido do analisador (na melhor das hipóteses, por exemplo, após uma análise completa, este é apenas o começo da linha em que a modificação começa) e para de analisar no final da linha em que a modificação termina (o analisador interno pode olhar além da modificação para reconhecer corretamente a estrutura)