Package: kelbt (0.16-3)

generatore di analizzatori LR con backtracking

Kelbt genera analizzatori di backtracking LALR(1). I generatori di analizzatori LALR(1) standard generano un errore quando incontrano un conflitto nelle tabelle di analisi. Kelbt si proietta in avanti generando analizzatori che gestiscono i conflitti con il backtracking a runtime. Kelbt è in grado di generare un analizzatore per qualsiasi grammatica libera dal contesto e conseguentemente implementa un metodo di analisi generalizzato.

Kelbt è diverso da altri sistemi LR con backtracking sotto due aspetti. Primo, valuta il backtracking al livello di azioni semantiche introducendo una classe di azioni chiamata azioni undo (annulla). Le azioni undo sono richiamate mano a mano che lo strumento di backtracking annulla l'analisi e permettono all'utente di annullare qualsiasi effetto secondario di azioni semantiche in avanti. Questo rende possibile fare il backtracking su costrutti di linguaggi che devono modificare lo stato globale in preparazione della gestione delle dipendenze di contesto.

Il secondo aspetto è che Kelbt abilita una strategia di analisi controllata dall'utente che approssima quella dall'analisi ricorsiva-discendente generalizzata con scelte ordinate. Questo rende facile per l'utente il risolvere le ambiguità del linguaggio ordinando la produzione della grammatica di un non terminale in base alla precedenza. È approssimato nel senso che per la maggior parte delle grammatiche viene ottenuto l'equivalente di una strategia di analisi per scelta ordinata. Nel caso in cui le produzioni siano analizzate non nell'ordine dato, esiste una semplice trasformazione di grammatica che rimedia al problema.

Come studio di fattibilità, Kelbt è stato usato per scrivere un analizzatore C++ parziale (incluso) che è composto solamente da uno scanner, una fase di ricerca del nome e una grammatica con azioni semantiche standard e azioni undo semantiche.

Tags: Software Development: Code Generation, Implemented in: C++, Role: Program

This page is also available in the following languages (How to set the default document language):