Vi jobber med å gjenopprette Unionpedia-appen på Google Play Store
UtgåendeInnkommende
🌟Vi har forenklet designet vårt for bedre navigering!
Instagram Facebook X LinkedIn

LL-grammatikk

Index LL-grammatikk

I formell språkteori er en LL-grammatikk en formell grammatikk som kan bli parset av en LL-parser, som leser teksten fra venstre til høyre og konstruerer en venstrederivasjon av setningen.

Innholdsfortegnelse

  1. 8 relasjoner: Deterministiske kontekstfrie språk, Formell grammatikk, Formelt språk, Kontekstfri grammatikk, LL-parser, Parsing, Rekursiv descendant parser, Tilbakesporing.

  2. Formelle språk

Deterministiske kontekstfrie språk

Deterministiske kontekstfrie språk er innenfor formell språkteori en delmengde av kontekstfrie språk.

Se LL-grammatikk og Deterministiske kontekstfrie språk

Formell grammatikk

Formell grammatikk (også kalt kun grammatikk) er i teoretisk informatikk en mengde formasjonsregler som definerer hvilke strenger fra alfabetet til et formelt språk som er syntaktisk gyldige (det vil si grammatikalske) i dette språket.

Se LL-grammatikk og Formell grammatikk

Formelt språk

Et formelt språk er en matematisk mengde ord, det vil si endelige strenger av bokstaver eller symboler.

Se LL-grammatikk og Formelt språk

Kontekstfri grammatikk

Kontekstfri grammatikk er et sett med formelle regler som kan brukes til å beskrive og uttrykke både overordnet og detaljert struktur til språk og setninger.

Se LL-grammatikk og Kontekstfri grammatikk

LL-parser

En LL-parser (Left to right, Leftmost derivation) er en toppen-ned-parser for en delmengde av konteksfrie språk.

Se LL-grammatikk og LL-parser

Parsing

Parsing eller syntaktisk analyse er betegnelse på den prosess som analyserer en streng med symboler, enten i naturlige språk eller programmeringsspråk i henhold til reglene i en formell grammatikk.

Se LL-grammatikk og Parsing

Rekursiv descendant parser

Innenfor informatikken er en rekursiv descendant parser en form for top-down parser som bygges fra et sett gjensidig rekursive prosedyrer, eller en ikke-rekursiv ekvivalent, hvor hver av prosedyrene implementerer en av produksjonene av grammatikken.

Se LL-grammatikk og Rekursiv descendant parser

Tilbakesporing

Tilbakesporing eller bactracking er en generell algoritme for å finne alle (eller noen) løsninger på enkelte beregningsproblemer, deriblant problemer som tilfredsstiller begrensninger, som inkrementelt bygger opp kandidater til løsninger, og som forkaster enhver delvis kandidat c så snart som det oppdages at c ikke kan fullføre en gyldig løsning.

Se LL-grammatikk og Tilbakesporing

Se også

Formelle språk