Context Free Grammar este gramatică formală, sintaxa sau structura unui limbaj formal poate fi descrisă folosind gramatica fără context (CFG), un tip de gramatică formală. Gramatica are patru tuple: (V,T,P,S).
V - It is the collection of variables or nonterminal symbols. T - It is a set of terminals. P - It is the production rules that consist of both terminals and nonterminals. S - It is the Starting symbol.>
Se spune că o gramatică este gramatică fără context dacă fiecare producție este sub forma:
G ->(V∪T)*, unde G ∊ V>
- Și partea stângă a lui G, aici în exemplu, poate fi doar o Variabilă, nu poate fi un terminal.
- Dar în partea dreaptă aici poate fi o variabilă sau un terminal sau ambele combinații de variabilă și terminal.
Ecuația de mai sus arată că fiecare producție care conține orice combinație a variabilei „V” sau a terminalului „T” se spune că este o gramatică fără context.
De exemplu, gramatica A = { S, a, b, P, S} având producție:
- Aici S este simbolul de pornire.
- {a,b} sunt terminalele reprezentate în general prin caractere mici.
- P este variabil împreună cu S.
S->aS S-> bSa>
dar
Limitările gramaticii fără context
În afară de toate utilizările și importanța gramaticii fără context în proiectarea compilatorului și în domeniul informaticii, există unele limitări care sunt abordate, adică CFG-urile sunt mai puțin expresive și nici limba engleză, nici limbajul de programare nu pot fi exprimate folosind Context-Free. Gramatică. Gramatica fără context poate fi ambiguă, ceea ce înseamnă că putem genera mai mulți arbori de analiză ale aceleiași intrări. Pentru unele gramatici, gramatica fără context poate fi mai puțin eficientă din cauza complexității timpului exponențial. Iar raportarea erorilor mai puțin precisă ca sistemul de raportare a erorilor CFG nu este atât de precisă încât să poată oferi mesaje și informații de eroare mai detaliate.