symboltillstånd

Symboltillstånd är ett begrepp som används inom datorvetenskap och formella system för att beskriva det aktuella tillståndet eller statusen hos en symbol inom ett system. Begreppet varierar mellan kontexter men avser vanligtvis metadata som följer symbolen genom analys, tolkning eller kodgenerering.

Inom kompilatorer och språkdesign uppträder symboltillstånd ofta i samband med symboltabellen. Varje symbol har en post med attribut såsom namn, kategori (variabel, funktion, typ), data- eller referenstyp samt statusflaggor som definierad/odefinierad, synlighet inom vilket omfång och minnesplats den är bunden. Dessa uppgifter utgör symboltillståndet och uppdateras under parsing, semantisk analys och i förekommande fall kodgenerering.

I formella system kan symboltillstånd beskriva hur en symbol behandlas av en maskin eller algoritm. Här handlar det om metadata som påverkar tolkning eller bearbetning, till exempel om symbolen är terminal eller icke-terminal i en grammatik, eller om den är markerad som reserverat ord och därmed inte får användas som identifierare.

Representation och uppdatering sker vanligtvis i en symboltabell eller som attribut i symbolernas definition. Under kompilations- eller tolkningens gång kan tillståndet ändras när nya uppgifter tilldelas eller tidigare verifieras.

Exempel: en variabel 'i' som ännu saknar tydlig typ har tillståndet undefined type; efter typkontroll uppdateras det till defined type. Ett reserverat ord kan ha tillståndet reserved och därigenom undvika att deklareras som variabel.

Se även: symboltabell, tillstånd, automat, lexikal analys, typkontroll.