„Környezetfüggetlen nyelvtan” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
Angolból |
||
2. sor:
<includeonly>[[Kategória:Csonkok (informatika)|{{PAGENAME}}]]</includeonly>
<noinclude>[[Kategória:Csonkokat jelölő sablonok|{{PAGENAME}}]]</noinclude>
''A [[nyelvészet]]ben és az [[infromatikában]] a '''környezet független nyelvtan''', angol kifejezéssel és rövidítéssel '''context-free grammar''' ('''CFG''') egy [[formális nyelvtan]] amelyben minden produkciós szabály a következő formájú
:V → ''w''
ahol V egy [[terminális szimbólum|nem-terminális szimbólum]] és ''w'' egy jelsorozat, amely terminális és/vagy nem-terminális szimbólumokat tartalmaz.''
A "környezet független" kifejezés abból a tényből ered, hogy a nem-terminális V minden esetben helyettesíthető ''w''-vel, függetlenül attól, hogy milyen környezetben fordul V elő. Egy [[formális nyelv]] akkor [[környezet független nyelv|környezet független]] ha környezet független nyelvtan generálja.
A környezet független nyelvtanok kellően hatékonyak és erősek a legtöbb [[programozási nyelv]] [[szintaxis]]ának leírásához; valójában a legöbb programozási nyelv szintaxisának meghatározására környezet független nyelvtanokat használnak. A környezet független nyelvanok egyszerűen elegendőek egy hatékony [[elemző algoritmus]] konstruálásához, amely egy adott jelsorozatról eldönti, hogy létrehozható-e az adott nyelvtan alapján.
A BNF ([[Backus-Naur Forma]]) a legismertebb jelölési rendszer a környezet független nyelvtan kifejezésinek leírására.
Nem minden formális nyelv környezet független — a jól ismert az <math> \{ a^n b^n c^n : n \ge 0 \} </math> nyelv.
Ez a sajátos nyelv egy [[parsing expression nyelvtan]]nal generálható, ami viszonylag új [[formalizmus]] ami különösen jól illeszkedik a progarmzási nyelvekhez.
| |||