Formalna gramatika

U računarstvu i lingvistici, formalna gramatika, ili ponekad jednostavno gramatika, jest precizan opis formalnog jezika - to jest, skupa nizova znakova (stringova). Dvije glavne kategorije formalnih gramatika su generativne gramatike, koje predstavljaju skup pravila za generiranje nizova znakova jezika, te analitičke gramatike, koje predstavljaju skup pravila za analizu pripadnosti niza znakova jeziku. Ukratko, analitička gramatika opisuje kako prepoznati kad je niz znakova u skupu, dok generativna gramatika opisuje kako pisati samo one nizove znakova u skupu.

Generativne gramatike

Generativna gramatika se sastoji od skupa pravila za transformiranje nizova znakova koje zovemo produkcije. Prilikom generiranja niza znakova u jeziku započinjemo sa nizom znakova koji se sastoji od samo jednog početnog znaka, i potom uzastopno primjenjujemo pravila (bilo koji broj puta, u bilo kojem redoslijedu) u svrhu prepisivanja (engl. rewrite) niza znakova. Jezik se sastoji od svih nizova znakova koji mogu biti generirani na ovaj način. Bilo koji pojedinačni slijed valjanih izbora pravila odabranih za vrijeme procesa prepisivanja daje neki pojedinačni niz znakova jezika, i ukoliko postoji više načina za generiranje jednog niza znakova, tada za gramatiku kažemo da je nejednoznačna.

Na primjer, pretpostavimo da se abeceda sastoji od znakova $a$ i $b$, da je početni znak $S$, te da imamo sljedeće produkcije:

1. $S\rightarrow aSb$

2. $S\rightarrow ba$

tada započinjemo sa početnim nezavršnim znakom $S$ te odabiremo produkciju koju nad njim primjenjujemo. Ako odaberemo prvu produkciju, zamjenjujemo $S$ sa $aSb$ te dobivamo međuniz $aSb$. Ako opet odaberemo prvu produkciju, zamjenjujemo $S$ sa $aSb$ te na taj način generiramo međuniz $aaSbb$. Ovaj proces ponavljamo sve dok međuniz ne bude sadržavao samo znakove iz abecede (tj. $a$ i $b$). Ako sad odaberemo drugu produkciju, zamjenjujemo $S$ sa $ba$ pri čemu se generira niz znakova $aababb$ i generiranje je završeno. Ovaj slijed odabira produkcija možemo konciznije zapisati koristeći simbole: $S\Rightarrow aSb\Rightarrow aaSbb\Rightarrow aababb$. Jezik ove gramatike je skup svih nizova znakova koji mogu biti generirani koristeći sljedeći proces: $\left\{ba,abab,aababb,aaababbb,...\right\}$.

Formalna definicija

Klasičnu formalizaciju generativnih gramatika je prvi predložio Noam Chomsky 1950ih,, gramatiku G čine sljedeće komponente:

• Konačan skup $N$ nezavršnih znakova
• Konačan skup $\Sigma$ završnih znakova disjunktan sa skupom $N$
• Konačan skup $P$ pravila produkcija, svako oblika

$(\Sigma \cup N)^{*}N(\Sigma \cup N)^{*}\rightarrow (\Sigma \cup N)^{*}$

gdje je ${}^{*}$ Kleeneov operator i $\cup$ označava uniju skupova. To jest, svaka produkcija preslikava jedan niz znakova u drugi, gdje prvi niz znakova sadrži barem jedan nezavršni znak. U slučaju da je drugi niz znakova prazni niz - tj. ne sadrži nijedan znak - simbol iz grčke abecede epsilon ($\epsilon$) se obično piše mjesto njega kako bi se izbjegla nejednoznačnost.

• Istaknuti znak $S\in N$ je početni nezavršni znak.

Obično se takva formalna gramatika $G$ konciznije zapiše kao uređena četvorka $(N,\Sigma ,P,S)$.

Jezik formalne gramatike $G=(N,\Sigma ,P,S)$, označen sa ${\boldsymbol {L}}(G)$, je definiran kao skup svih onih nizova znakova nad $\Sigma$ koji mogu biti generirani počevši od početnog nezavršnog znaka $S$ i potom primjenjujući produkcije u $P$ sve dok nijedan nezavršni znak nije prisutan u međunizu.

Primjer

Promatrajmo gramatiku $G$ gdje je $N=\left\{S,B\right\}$, $\Sigma =\left\{a,b,c\right\}$, $S$ je početni nezavršni znak, i $P$ se sastoji od sljedećih produkcija:

1. $S\rightarrow aBSc$

2. $S\rightarrow abc$

3. $Ba\rightarrow aB$

4. $Bb\rightarrow bb$

Neki primjeri generiranih nizova znakova u ${\boldsymbol {L}}(G)$ su:

• ${\boldsymbol {S}}\Rightarrow _{2}{\boldsymbol {abc}}$
• ${\boldsymbol {S}}\Rightarrow _{1}aB{\boldsymbol {S}}c\Rightarrow _{2}a{\boldsymbol {Ba}}bcc\Rightarrow _{3}aa{\boldsymbol {Bb}}cc\Rightarrow _{4}aa{\boldsymbol {b}}bcc$
• ${\boldsymbol {S}}\Rightarrow _{1}aB{\boldsymbol {S}}c\Rightarrow _{1}aBaB{\boldsymbol {S}}cc\Rightarrow _{2}a{\boldsymbol {Ba}}Babccc\Rightarrow _{3}aaB{\boldsymbol {Ba}}bccc\Rightarrow _{3}aa{\boldsymbol {Ba}}Bbccc$$\Rightarrow _{3}aaaB{\boldsymbol {Bb}}ccc\Rightarrow _{4}aaa{\boldsymbol {Bb}}bccc\Rightarrow _{4}aaa{\boldsymbol {b}}bbccc$

(Bilješka o korištenoj notaciji: $L\Rightarrow _{i}R$ čitaj kao "L generira R korištenjem produkcije i" i generirani dio međuniza je svaki put masno otisnut (podebljan).)

Ova gramatika definira jezik $L=\left\{a^{n}b^{n}c^{n}|n\geq 1\right\}$ gdje $a^{n}$ označava niz znakova koji se sastoji od n uzastopnih znakova $a$. Dakle, jezik ove gramatike je skup svih nizova znakova koji se sastoje od jednog ili više znakova $a$, nakon kojih slijedi jednak broj znakova $b$, nakon kojih slijedi jednak broj znakova $c$.

Chomskyjeva hijerarhija

Podrobniji članak o temi: Chomskyjeva hijerarhija

Kada je Noam Chomsky prvi iznio formalizam generativnih gramatika 1956., klasificirao ih je u tipove danas poznate kao dio Chomskyjeve hijerarhije. Razlika između ovih tipova jest što imaju povećavajuće stroga produkcijska pravila i stoga mogu izraziti sve manje formalnih jezika. Dva važna tipa su kontekstno neovisne gramatike (tip 2) i regularne gramatike (tip 3). Jezici koji se mogu opisati ovakvim gramatikama se respektivno zovu kontekstno neovisni jezici i regularni jezici. Premda nešto manje moćne od gramatike neograničenih produkcija (tip 0), koje mogu izraziti bilo koji jezik koji prihvaća Turingov stroj, ova dva ograničena tipa gramatika su najčešće korištena jer se parser za njih može učinkovito implementirati. Na primjer, sve regularne jezike može prepoznati konačni automat, a za korisne podskupove kontekstno neovisnih gramatika postoje dobro poznati algoritmi za generiranje učinkovitih LL parsera i LR parsera koji prepoznaju odgovarajuće jezike koje gramatike generiraju.

Kontekstno neovisne gramatike

Kontekstno neovisna gramatika je gramatika u kojoj se lijeva strana produkcije sastoji samo od jednog nezavršnog znaka. Ovo ograničenje je netrivijalno; kontekstno neovisna gramatika ne može generirati sve jezike. One koje može zovemo kontekstno neovisni jezici.

Jezik definiran u gornjem primjeru nije kontekstno neovisan i ovo se može strogo dokazati koristeći svojstvo napuhavanja za kontekstno neovisne jezike, no npr. jezik $\left\{a^{n}b^{n}|n\geq 1\right\}$ (barem jedan znak $a$ nakon kojeg slijedi jednak broj znakova $b$) jest kontekstno neovisan, pošto ga generira gramatika $G_{2}$ sa $N=\left\{S\right\}$, $\Sigma =\left\{a,b\right\}$, pri čemu je $S$ početni nezavršni znak, a produkcije su sljedeće:

1. $S\rightarrow aSb$

2. $S\rightarrow ab$

Kontekstno neovisni jezik može biti prepoznat u vremenu $O(n^{3})$ koristeći algoritme kao što je Earleyev algoritam. Drugim riječima, za svaki kontekstno neovisni jezik se može izgraditi stroj koji na ulazu prima neki niz znakova i određuje u $O(n^{3})$ vremenu pripada li niz jeziku, pri čemu je $n$ duljina niza znakova. Nadalje, neki važni podskupovi kontekstno neovisnih jezika mogu biti prepoznati u linearnom vremenu koristeći neke druge algoritme.

Regularne gramatike

U regularnim gramatikama, lijeva strana produkcije je također isključivo jedan nezavršni znak, ali sad se postavlja ograničenje i na desnu stranu produkcije, na kojoj ne mora biti nijedan znak (u slučaju $\epsilon$-produkcije), može biti jedan završni znak, ili jedan završni znak nakon kojeg slijedi jedan nezavršni znak, i nijedan drugi niz znakova. (Ponekad se koristi nešto šira definicija po kojoj su dozvoljeni dulji nizovi završnih znakova ili samo jedan nezavršni znak i ništa drugo, i na taj se način pojednostavi označavanje iste klase jezika.)

Jezik prethodno definiran nije regularan, ali jezik $\left\{a^{n}b^{m}|m,n\geq 1\right\}$ (barem jedan znak $a$ nakon kojeg slijed barem jedan znak $b$, iako ne nužno isti broj puta) jest, pošto ga generira gramatika $G_{3}$ sa $N=\left\{S,A,B\right\}$, $\Sigma =\left\{a,b\right\}$, pri čemu je $S$ početni nezavršni znak, a skup produkcija je sljedeći:

1. $S\rightarrow aA$

2. $A\rightarrow aA$

3. $A\rightarrow bB$

4. $B\rightarrow bB$

5. $B\rightarrow \epsilon$

Sve jezike koje generira regularna gramatika može u linearnom vremenu prepoznati konačni automat. Iako su u praksi regularne gramatike obično opisane regularnim izrazima, neki oblici regularnih izraza korištenih u praksi ne generiraju strogo regularne jezike i zbog tih otklona ne mogu biti prepoznati u linearnom vremenu.

Drugi oblici generativnih gramatika

U posljednje su vrijeme razvijena mnoga proširenja i varijacije na izvornu Chomskyjevu hijerarhiju formalnih gramatika, kako od strane lingvista tako i od strane računalnih znanstvenika, obično u svrhu povećanja ekspresivne moći ili u svrhu lakše analize ili parsiranja. Neki oblici tako razvijenih gramatika uključuju:

• Tree-adjoining gramatike povećavaju ekspresivnost konvencionalnih generativnih gramatika dozvoljavanjem pravilima prepisivanja da operiraju na stablima parsiranja mjesto na običnim nizovima znakova.
• Afiksne gramatike i atributne gramatike dozvoljavaju pravilima prepisivanja da budu obogaćena semantičkim atributima i operacijama, što se pak pokazalo korisno za povećanje ekspresivnosti gramatike, kao i za izgradnju praktičnih alata za prevođenje (translaciju) jezika.

Analitičke gramatike

Iako su algoritmi parsiranja jako dugo proučavani i njihova svojstva dobro shvaćena i dokumentirana u ogromnom literalnom korpusu, većina njih podrazumijeva da je jezik koji se parsira inicijalno opisan preko generativne formalne gramatike, te da je cilj generatora parsera transformirati tu generativnu gramatiku u parser. Strogo govoreći, generativna gramatika ni na koji način ne korespondira algoritmu korištenom za parsiranje jezika, i različiti algoritmi postavljaju različita ograničenja na oblik produkcija koje shvaćaju kao dobro oblikovane.

Alternativni pristup jest formalizacija jezika u obliku analitičke gramatike, koja pak puno izravnije korespondira strukturi i semantici parsera za jezik. Primjeri formalizama analitičkih gramatika uključuju:

• The Language Machine izravno implementira neograničene analitičke gramatike (analitičke gramatike neograničenih produkcija). Supstitucijska pravila se koriste za transformiranje ulaza i generiranje izlaza i ponašanja. Sustav također može generirati lm-dijagram koji pokazuje što se događa prilikom primjene pravila analitičke gramatike neograničenih produkcija.
• Top-down parsing language (TDPL): minimalistički formalizam analitičkih gramatika razvijen u ranim 1970im u svrhu proučavanja parsera od vrha prema dnu.
• Link grammar: oblik analitičke gramatike dizajniran za lingvistiku koji izvodi sintaksnu strukturu proučavanjem pozicijskih odnosa parova riječi.
• Parsing expression grammar (PEG): poopćenje TDPL-a dizajnirano da zadovolji praktične potrebe ekspresivnosti programskih jezika i pisaca jezičnih procesora.

Vanjske poveznice

• Godišnja konferencija o formalnim gramatikama