Package: kelbt (0.16-3)

Tilbagesporing af LR-fortolkeropretter

Kelbt opretter tilbagesporingsfortolkere LALR(1). LALR(1)-fortolkeroprettere udsender en fejl, når de møder en konflikt i fortolkningstabellerne. Kelbt går videre, der oprettes fortolkere som håndterer konflikter ved tilbagesporing på kørselstidspunktet. Kelbt er i stand til at oprette en fortolker for enhver kontekstfri grammatik og implementerer derfor en generaliseret fortolkningsmetode.

Kelbt er forskellige fra andre tilbagesporings-LR-systemer på to måder. Først så løftes tilbagesporing til niveauet for semantiske handlinger ved at introducere en klasse af handlinger kaldet undo-handlinger. Undo-handlinger startes når tilbagesporingen genskaber fortolkning og giver brugeren mulighed for at omdanne eventuelle sideeffekter for fremadrettede semantiske handlinger. Dette gør det muligt at tilbagespore over sprogkonstruktioner, som skal ændre global tilstand som forberedelse for håndtering af kontekstafhængigheder.

For det andet aktiver Kelbt en brugerkontrolleret fortolkningsstrategi, som tilnærmer den for generaliseret rekursiv-afstamnings fortolkning med forhåndsvalg. Dette gør det nemt for brugeren at løse sprogtvetydigheder ved at ordne grammatikproduktionen for en ikketerminal jævnfør forrang. Det er omtrentligt i den forstand, at for de fleste grammatikker opnås hvad der svarer til en ordnet valgfortolkningsstrategi. I tilfælde hvor produktioner fortolkes ud af den angivne orden, er der en simpel grammatiktransformation som udreder problemet.

Som bevis for brugbarheden er kelbt blevet brugt til at skrive en delvis C++-fortolker (inkluderet) som består af en skanner, et trin for opslag af navne og en grammatik med standardhandlinger for semantik og semantiske genskabshandlinger.

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):