Forma lui Backus - Naur este asta

cerere

Folosit pentru a descrie sintaxa limbaje de programare, protocoale de date (de exemplu, în RFC documente) și t. D. (gramaticii și în mod regulat de vocabular ca Gramatici regulate sunt un subset de context liber).

Terminologia acestui articol poate fi diferită de cea tradițională.

Construcția BNF definește un număr finit de simboluri (nonterminale). În plus, definește regulile de schimbare a unui caracter la o serie de litere (terminale) și simboluri. Procesul de obținere a unui lanț de scrisori, pot fi determinate în etape: inițial există un caracter (de obicei între paranteze unghiulare, ca numele lor nu poartă nici o informație). Apoi, acest simbol este înlocuit de o anumită secvență de litere și simboluri, conform uneia dintre reguli. Apoi procesul se repetă (la fiecare pas unul dintre simboluri este înlocuit de o secvență, conform regulii). În final, obținem un șir constând din litere (și care nu conțin simboluri). Aceasta înseamnă că șirul rezultat poate fi derivat din caracterul inițial.

Construcția BNF constă din mai multe propoziții ale formularului

descriind regulile. O astfel de regulă înseamnă că simbolul <определяемый символ> poate fi înlocuită cu una din secvențele de la 1. Semnul definiției, de obicei, arată ca :: =, dar sunt posibile și alte opțiuni.

Unele caractere speciale, cum ar fi <пусто> înseamnă o anumită secvență (în acest caz - goală).

Exemple de construcții

  • Iată un exemplu de construcție BNF care descrie secvențele paranteze corecte:

Aceasta este o construcție simplă constând dintr-o singură regulă care afirmă că simbolul <правпосл> pot fi înlocuite fie cu un spațiu gol, fie cu același simbol <правпосл>, închise în paranteze sau două caractere <правпосл> venind în rând.

Iată cum să obținem lanțul (()) ()) () cu acest construct (toți pașii, simbolurile <пусто> sunt omise):

Vezi ce este "Formularul Backus-Naury" în alte dicționare:

Extended Backus Form - Acest articol ar trebui să fie vikifitsirovat. Vă rugăm să faceți acest lucru în conformitate cu regulile de înregistrare a articolelor. Extended Backus Naur Form (Extended forma Backus Naurova (EBNF)) (Ing. Extended Backus-Naur Form (EBNF)) sistem formal pentru determinarea ... ... Wikipedia

Articole similare