Augmented Backus-Naur Form

I datalogi, Augmented Backus-Naur Form er et metasprog baseret på Backus-Naur Form, men som består af egne syntaks og tarifberegningsmetode regler. Motivet princip for ABNF er at beskrive et formelt system med et sprog, der skal bruges som en tovejs kommunikationsprotokol. Det er defineret af Internet Standard 68, som i december 2010 RFC 5234, og det ofte tjener som definitionen sprog for IETF kommunikationsprotokoller.

RFC 5234 erstatter RFC 4234.

Introduktion

En ABNF specifikation er et sæt afledningsprocessen regler, skrevet som

hvor reglen er en sag ufølsom nonterminal definitionen består af sekvenser af symboler, der definerer reglen, en kommentar til dokumentation, og slutter med et linjeskift og linjeskift.

Regel navne er tilfældet ufølsomme :, ,, og alle henviser til samme regel. Regel navne består af et bogstav efterfulgt af bogstaver, tal og bindestreger.

Vinkelbeslag er ikke påkrævet rundt regel navne. De kan dog anvendes til at afgrænse en regel navn, når anvendt i prosa til at skelne en regel navn.

Terminal værdier

Terminaler er angivet af en eller flere numeriske tegn.

Numeriske tegn kan angives som procent tegnet "", efterfulgt af base efterfulgt af værdien eller sammenkædning af værdier. For eksempel en vognretur angives ved i decimal eller i hexadecimal. En vognretur efterfulgt af et linjeskift kan specificeres med sammenkædning som.

Bogstavelig tekst er angivet ved brug af en streng omgivet af anførselstegn. Disse strenge er store og små bogstaver, og det tegnsæt anvendes, er ASCII. Derfor strengen "abc" vil matche "ABC", "ABC", "ABC", "ABC", "ABC", "ABC", "ABC", og "ABC". For en små bogstaver kamp skal defineres de eksplicitte tegn: at matche "ABC" definitionen vil være.

Operatører

Hvide rum

Hvide rum bruges til enkeltelementer i en definition; for plads til at blive anerkendt som en afgrænser det skal udtrykkeligt medtages. Den udtrykkelige henvisning til en enkelt whitepace karakter er WSP, eller LWSP til nul eller flere blanke tegn med linjeskift tilladt. Den LWSP definitionen i RFC5234 kontroversiel, fordi mindst et mellemrum karakter er nødvendig for at danne et skilletegn to felter.

Definitioner er venstre-justeret. Når der kræves flere linjer efterskoler linjer er indrykket af mellemrum.

Kommentar

Et semikolon starter en kommentar, der fortsætter til slutningen af ​​linjen.

Sammenkædning

En regel kan defineres ved at angive en sekvens af regel navne.

For at matche strengen "ABA" følgende regler kunne anvendes:

Alternativ

En regel kan være defineret af en liste over alternative regler adskilt af en solidus.

For at acceptere den regel fu eller reglen bar følgende regel kunne konstrueres:

Trinvise alternativer

Yderligere alternativer kan tilsættes til en regel ved anvendelse af "" mellem regelnavnet og definition.

Reglen

svarer til

Værdiområde

En række numeriske værdier kan specificeres ved anvendelse af en bindestreg.

Reglen

svarer til

Sekvensgruppe

Elementer kan placeres i parentes at gruppere regler på en definition.

At matche "elem fubar snafu" eller "elem tarfu snafu" følgende regel kunne konstrueres:

At matche "elem fubar" eller "tarfu snafu" følgende regler kunne konstrueres:

Variabel gentagelse

For at angive en gentagelse af et element blanketten anvendes. Den valgfrie giver det minimale antal elementer, der skal indgå med standard på 0. valgfrie giver det maksimale antal elementer, der skal indgå med standard af uendelighed.

Bruges til nul eller flere elementer, for nul eller et element, for et eller flere elementer, og for to eller tre elementer, jfr regulære udtryk ,, og.

Specifik gentagelse

For at angive en udtrykkelig antal elementer formen bruges og svarer til.

Bruge til at få to numeriske cifre og for at få tre numeriske cifre.

Valgfri sekvens

For at angive et valgfrit element følgende konstruktioner svarer:

Operatør forrang

Følgende aktører har den forrang fra strammeste binding til loosest bindende:

  • Strygere, Navne dannelse
  • Kommentar
  • Værdiområde
  • Gentagelse
  • Gruppering, Valgfri
  • Sammenkædning
  • Alternativ

Anvendelse af den alternative operatør med sammenkædning kan være forvirrende og det anbefales, at gruppering bruges til at gøre eksplicitte sammenkædning grupper.

Core regler

De centrale regler er defineret i ABNF standarden.

Eksempel

Postvæsenet eksempel adresse i Backus-Naur Form side kan specificeres således:

Faldgruber

RFC 5234 tilføjer en advarsel i forbindelse med definitionen af ​​LWSP som følger:

  0   0
Forrige artikel Clarence Stewart Williams
Næste artikel 2015 i Filippinerne

Relaterede Artikler

Kommentarer - 0

Ingen kommentar

Tilføj en kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tegn tilbage: 3000
captcha