Den Datalogi Forholdet mellem Context-Free Grammatik og Syntaks

February 16

Den Datalogi Forholdet mellem Context-Free Grammatik og Syntaks

En kontekst-fri grammatik er et sæt af datalogi regler sekvenser eller strenge, af symboler. For eksempel skriver en sætning på engelsk skaber en streng af ord ifølge denne sprogs grammatiske regler. Den væsentligste forskel mellem human syntaks og en kontekst-fri grammatik er, at en sætning skal have betydning, mens en streng fremstillet af en kontekst-fri grammatik kun skal følge reglerne; det behøver ikke at betyde noget. Nogle sprogforskere bruger kontekstfrie grammatikker at fremme studiet af menneskets syntaks.

Funktion


En kontekst-fri grammatik omfatter fire stykker. Et udgangspunkt symbol, der fungerer som et frø til fremtidige strenge; rekursive regler, der fortæller dig, hvordan et udtryk kan ændres inden for grammatik; terminale symboler består af alfabetet anvendes til at frembringe strenge; og ikke-terminale symboler. Ikke-terminale symboler er som variabler i en ligning; de er pladsholdere, der anvendes til at angive grammatik er rekursive regler. Alle mulige tegnstrenge kan placeres ind i et træ, hvor hver gren repræsenterer anvendelsen af ​​hvert rekursive regel. Udgangsmaterialet symbol er på toppen af ​​træet.

Betydning


Hvis en kontekst-fri grammatik er koblet med et leksikon, som tildeler mening til symboler som en ordbog tildeler mening til ord, så kunne det siges at have betydning. For eksempel kan en simpel sammenhæng uden grammatik fortælle dig, hvordan at danne ligninger ved at indsætte symboler i mellem numrene. Hvis en leksikon derefter fortalte dig, at en af ​​disse symboler repræsenterede tilføjelse, og den anden repræsenterede multiplikation, ville du være i stand til at foretage de beregninger, skabt af den kontekst-fri grammatik. Der er ingen garanti for, at en kontekst-fri grammatik og et leksikon sammen generere meningsfulde udsagn.

Potentiale


Leverer en computer med kontekst-fri grammatik og et leksikon vil i princippet gør det muligt at parse eller nedbrydes til bestanddele, sætninger, der anvendes i den menneskelige kommunikation for at afgøre, om de er grammatisk korrekt. Det kunne også fortælle, hvilke dele af en sætning er undergivet, verbum og prædikat. Syntaksen af ​​reelle menneskelige sprog svarer ikke til nogen kendt sammenhæng uden grammatik, så en computer parser ikke forventes at være helt præcis.

Typer


En af de vigtigste forskelle mellem en kontekst-fri grammatik og menneskelig syntaks er, at en kontekst-fri grammatik er altid præskriptive - det dikterer præcis, hvordan en strenge er sat sammen. I syntaks, kan grammatik enten være præskriptive eller beskrivende. For eksempel kan en normativ engelsk grammatik kunne forbyde brugen af ​​ordet "ikke". Men en beskrivende grammatik vil blot bemærke, at det er almindeligt anvendt i stedet for udtrykket "er ikke."

Historie


"Syntactic Structures," arbejde lingvist og filosof Noam Chomsky, udgivet i 1957, var en stor indflydelse på kontekst-fri grammatik og syntaks. Chomsky anses for at være den første til at formalisere hvordan grammatikker kan baseres på dele af sætninger. I dette arbejde, der er konstateret han fire grammatik typer: kontekstfrie sprog, type nul sprog, kontekstafhængige sprog og de naturlige sprog, vi bruger hver dag.