Formal qrammatika

Formal qrammatika — dedikdə elə qaydalar sistemi başa düşülür ki, onun vasitəsilə verilmiş formal dilin(yalnız bu dilin) düzgün sözləri qura bilir. Qrammatika vasitəsilə qurulan formal dilin sözlər çoxluğu sonlu, sonsuz, və ya boş çoxluq ola bilər. Qrammatika sözlər çoxluğunu ixtiyari qaydada qura, yaxud müəyyənləşdirə bilər. Beləliklə, qrammatika sözlərin daxili quruluşunun qanunlarını açıqlayır ki, bunlara sintaksis deyilir. Formal qrammatika— müəyyən sintaksis nəzəriyyə çərçivəsində qurulan qrammatik riyazi modeldir.

 Formal qrammatikanın növləri 
Alqoritmik nöqteyi-nəzərdən formal qrammatikaların aşağıdakı növləri var:
 Tanıyan qrammatikalar: Bu qrammatikalar bir növ elə qurğudur ki, bunun girişinə daxil olan söz verilmiş dilə aiddirsə, "hə", aid deyilsə- "yox" çap olunur.
 Sadalayan qrammatikalar: Bu qrammatikalar verilmiş dilin bütün sözlərini bir-bir çap etməklə(sadalamaqla) iş görür. Aydındır ki, dilin sözlərinin sayı sonsuz olarsa, qrammatika heç zaman dayanmayacaq. Ancaq qrammatikanı məcburi o zaman dayandırmaq olar ki, lazım olan söz çap olunmuşdur.
 Doğuran qrammatikalar: Bunlar elə "qurğu"dur ki, dilin lazımlı sözlərini qurur. Doğuran qrammatikaların müxtəlif variantlarını ABŞ riyaziyyatçısı və linqivisti Noam Xomski keçən əsrin 50-ci illərindən etibarən yaratmağa başlamışdır. Bir zamanlar hətta bu qrammatikalar təbii dillərin qurulması üçün istifadə oluna bilən kimi fərz olunurdu, lakin zaman bunların təbii dillər sahəsində tətbiqi imkanlarını sübut etmədi. Hazırda doğuran qrammatikalar, əsasən, formal dillərin(proqramlaşdırma dillərinin) sintaksisinin qurulmasında müvəffəqiyyətlə istifadə olunur.

 Doğuran qrammatika 
Tərif: Formal doğuran qrammatika dedikdə 4 obyektdən ibarət bir formal G={V, W, I, P} sistemi başa düşülür ki, burada V={a1, a2,…, am}- terminal simvollar əlifbası, V={A1, A2,…, An}- qeyri-terminal simvollar əlifbasıdır. Bunların kəsişmədiyi fərz olunur: , - aksiom, yaxud başlanğıc qeyri-terminal işarə adlanır, , - çevirmə, yaxud qurulma qaydalarının sonlu çoxluğudur, məsələn, , yaxud  yazılışı onu göstərir ki, -dan  alınır, burada ,  terminal və qeyri-terminal işarələrin birləşməsindən ibarət əlifbadan qurulmuş sətirlərdir: , yəni  sətrinin boş olmaması şərti irəli sürülür: .  əlifbası qrammatikanın aid olduğu dilin əlifbası ilə eynidir. Qrammatikanın qaydalarına görə  çevrilməsində vergüldən sol tərəfdə olan sözlər yalnız terminal simvollardan ibarət olduqda qrammatika fəaliyyətini dayandırır(terminate). Məqsədə çatana qədər qeyri-terminal simvollar aralıq sözləri qurmaq üçün istifadə olunur. Qeyri-terminalların təyinatı cürbəcür ola bilər və qrammatikanın tipindən asılıdır. Ancaq yeganə qeyri-terminal simvol mövcuddur ki, qrammatikanın tipindən asılı olmayaraq həmişə eyni təyinata malikdir. O, dilin bütün sözlərini işarə etmək üçün istifadə olunur. Bu simvol "doğuran qrammatikanın başlanğıc qeyri-terminal simvolu" adlanır, İ ilə işarə olunur. Hər bir doğuran qrammatikanın elə bir qayda olmalıdır ki, çevirmədə vergülün sol tərəfini yalnız İ olsun. Belə olmasa, bu qrammatika heç bir söz qura bilməz.

Xomski qrammatikasının çevirmələri baxılan sözdə qeyri-terminal simvol yoxa çıxana qədər tətbiq edilir. Bu qrammatika deduktivdir.

Sıfır, yaxud çoxsaylı əvəzləmələr  şəklində təsvir oluna bilər.  şəklində əvəzləmə onu göstərir ki, beta sözü alpha sözündən sonlu sayda əvəzləmə ilə alınmışdır. Bu halda əgər əvəzləmə heç bir dəfə də tətbiq olunmamışsa, onda alpha və beta sözləri üst-üstə düşür.

 Doğuran qrammatikanın tətbiqi ilə formal dilin qurulmasına aid misallar 
Misal1. Fərz edək,  dili yeganə  simvolundan təşkil olunmuş yeganə  sözündən ibarətdir: . Bu sözü qurmaq üçün yeganə İ qaydası kifayət edər. Onu da qeyd edək ki, -nın qurulmasını daha mürəkkəb yolla reallaşdırmaq olar, bunun üçün əlavə qeyri-terminal simvoldan, bunu  ilə işarə edək, istifadə edilməlidir. Qurma qaydalarını daxil edək:

İ, .

Bu halda "a" sözünün yeganə qurulması üsulu: İ  şəklində təsvir oluna bilər. Qeyri-terminal qrammatikanın əlifbasını ixtiyari qaydada seçmək mümkün olduğu üçün, belə qənaətə gələ bilərik ki, bu dili qurmaq üçün sonsuz sayda doğuran qrammatika təklif oluna bilər.

Misal2.  dilinin qurulması üçün doğuran qrammatikanı hazırlayaq. Göründüyü kimi, dilin hər bir sözü  simvolu ilə başlayır və bunun davamında bir və daha artıq  fraqmenti iştirak edir. Deməli, əvvəlcə  simvolunu qurmaq lazımdır, bundan sonra buna lazım olan qədər  fraqmentini əlavə etmək lazımdır.

Qeyri-terminal  simvolunu daxil edək. Qrammatikanın qaydalarını(operatorlarını) daxil edək: İ, , .

 sözünün qurulması sxemi belə olar: İ. Bu qurmada yuxarıdakı operatorlardan hər biri bir dəfə ardıcıl olaraq tətbiq olunmuşdur.  dilinin sözlərinin sayı sonsuz olduğu üçün bütün sözləri rekursiv olaraq qurmaq tələb olunur. Rekursiya yaradan səbəb  operatorudur, çevirmənin solunda və sağında eyni bir simvol— simvolu iştirak edir.

Misal3. Simmetrik sətirlər qrammatikasına baxaq, bunu G={V, W, I, P} ilə işarə edək. Burada: ,,. Bunlar əsasında göstərmək olar ki,  simmetrik qrammatikadır.

 Doğuran qrammatikaların N. Xomski tərəfindən qurulmuş çətinlik dərəcəsinə görə təsnifatı 
"0-cı sinif" qrammatikalar — Bu zaman  çevirməsinə heç bir məhdudiyyət qoyulmur, ona görə də bunlara bəzən qeyri-məhdud qrammatika deyilir.

.

Bütün formal qrammatikalar bu sinfə aid edilir. Türinq maşını ilə tanınan bütün dillər bu qrammatikalarla qurula bilir, belə dillərə rekursiv sadalanan dillər deyilir.

Misal. Aşağıda verilmiş qaydalara əsasən  sözünü qurmalı.

Qaydalar:

"1-ci sinif" qrammatikalar — Bu sinfə mətndən asılı qrammatikalar və qısaltmayan qrammatikalar aid edilir. Birincinin qaydaları aşağıdakı kimi verilir:

, burada .

Qısaltmayan qrammatikanın qaydaları isə belədir:

, burada 

Bu qrammatikalar ekvivalentdir. Bunlar təbii dilin mətnlərinin analizində istifadə oluna bilir. Bir sıra sahələrdə, məsələn, kompilyatorların qurulmasında istifadəsi, çətinliyə görə, praktiki olaraq mümkün deyil.

Bu sinifdən təbii dillərin və alt dillərin elementlərinin generasiyasında istifadə olunur.

"2-ci sinif" qrammatikalar — Bu qrammatikaların qaydaları  şəklində verilir, , yəni bu qrammatika sol tərəfdə yalnız bir qeyri-terminal simvolun olmasını tələb edir. Buna mətndən asılı olmayan qrammatika deyilir. Bu qrammatikalar vasitəsilə qurulan dillər maqazin yaddaşlı avtomatlar tərəfindən tanınır.

"3-cü sinif" qrammatikalar(requlyar) — Bu qrammatikaların qaydaları  və ya  şəklində verilir, burada .

Bu cür qrammatikaya avtomat, yaxud requlyar qrammatika deyilir. Bu qrammatikalar mətndən asılı deyil, məhdud imkanlara malikdir. Bunlar formal qrammatikalardan requlyar dilləri qura bilən ən sadə qrammatikalardır. Bu qrammatikaları iki ekvivalent sinfə ayırmaq olar:
 Sol tərəfli qrammatika
 Sağ tərəfli qrammatika

Sol tərəfli qrammatikanın operatorları:

Sağ tərəfli qrammatikanın operatorları:

Sol tərəfli və sağ tərəfli qrammatikalar bir-birinə ekvivalentdir, bunlar eyni dil qurur. Ancaq onu da qeyd edək ki, sol tərəfli və sağ tərəfli qrammatikaların operatorlarını birləşdirsək, alınan dil requlyar olmaya bilər. Bundan başqa sağ tərəfli qrammatika ilə qurulan dillər çoxluğu sonlu avtomatlarla qurulan dillər çoxluğu ilə eynidir.

Əgər hər hansı  dil -ci sinif qrammatika ilə qurulmuşsa, onda deyirlər ki, bu dil  sinfinə aiddir.  sinfinə aid olan bütün qrammatikalar  ilə işarə etsək, onda formal qrammatikalar arasındakı əlaqəni aşağıdakı kimi təsvir etmək olar:


Fərqli qrammatikaların bir-birinə çevrilməsi maraqlı məsələdir. Məsələn, doğuran qrammatika əsasında sadalayan qrammatika qurmaq olarmı? Olar. Bunun üçün doğuran qrammatika ilə sözləri generasiya etmək, onları uzunluğuna və simvollarının düzülüşünə görə nizamlamaq kifayətdir. Ancaq bunun əksinə, ümumi halda, hökm etmək olmaz, yəni hər bir sadalayan qrammatika əsasında doğuran qrammatika qurmaq olmaz. Sadalayan qrammatikadan tanıyan qrammatikanın qurulması da, ümumi halda, mümkün olmayan məsələdir. Ancaq birincinin əsasında ikincinin işini aşağıdakı kimi şərh etmık olar:

Sadalayan qrammatikanın çıxış sözlərini ardıcıl olaraq tanıyan qrammatikaya təqdim edək. Tanıyan qrammatikaya lazım olan söz çap olunduqda tanıyan qrammatika "hə" cavabı verir və biz sadalayan qrammatikanın işini məcburən dayandırırıq. Ancaq sadalayan qrammatikanın çıxışındakı heç bir söz verilmiş dilə aid olmasa, tanıma prosesi sonsuz olaraq davam edəcək, tanıyan qrammatikanın işi düyünə düşəcək. Bu mənada tanıyan qrammatikaların gücü doğuran və sadalayan qrammatikaların gücündən kiçikdir. Xomskinin doğuran qrammatikası ilə Türinqin tanıyan maşınlarını müqayisə etdikdə bu məsələni nəzərə almaq lazımdır.

Daha əlverişli qrammatika induktiv olan qrammatikadır.

Teorem 1: Hər bir təbii dilin sonlu sayda cümlələrindən ibarət çoxluq formal qrammatikadır.

Teorem 2: Hər bir formal dilə uyğun bir induktiv qrammatika qurmaq mümkündür.

Mətndən asılı olmayan ilk qrammatika kimi C. Bekusun yaratdığı ALQOL-60 dilini qeyd etmək olar.

Tezaurus formal qrammatikanın tətbiqinə aid bir nümunə kimi göstərilə bilər. Tezaurus cədvəl şəklində verilən modeldir(cədvələ baxın). Bu model baza sözlərinin əsasında cümlə qurmağa imkan verir.
+ Tezaurusun qurulmasına aid nümunə Sıra  Mətn  Qrammatik formasiya  Məna əlaqəsi 1 məlumat *6,7 2>3 2 istehlak *4,3 3 müəssisə *5 3>1 4 at  5 si  6 in *7 7 keyfiyyət *8 8 i 

Bu tezaurusun "*" işarəsi mətndə verilən sözə yeni söz əlavə etmək imkanı yaradır. Belə ki, cümləni "məmulat" sözü ilə başlasaq, "məmulatın keyfiyyəti" cümləsi alınar.

Tezaurusdan kompüterdə informasiya bazası yaradan zaman verilənlər bazasının idarə edilməsi zamanı və s. müxtəlif sahələrdə istifadə olunur.

Formal qrammatikalardan biri də Bekus-Naur qrammatikasıdır. Bunun vasitəsilə "identifikator" anlayışının izahı aşağıdakı kimi verilir:

<identifikator> :: = <hərf> | <hərf> <davam>

<davam> :: = <simvol> | <simvol> <davam>

<simvol> :: = <hərf> | <rəqəm>

<hərf> :: = A | B | … | Z

<rəqəm> :: = 0| 1| 2| …| 9

Bekus-Naur qrammatikası əsasında başqa konstruksiyaları da yaratmaq olar, məsələn:

<isim> :: = <kök><şəkilçi>

<şəkilçi> :: = <tək halın şəkilçisi> | <cəm halın şəkilçisi>

Şərti işarələrin açıqlaması:

<… > —izahı tələb olunan hər hansı anlayış soldan və sağdan müvafiq olaraq bu işarələrlə əhatə olunur

 —bu işarədən solda izah olunan anlayış, sağda onun izahı yazılır

| —bu işarə "və ya" mənasını bildirir

Göründüyü kimi, Bekus-Naur qrammatikasında hər hansı anlayış özünə istinad etməklə izah oluna bilir, yəni bu qrammatikada rekursivlikdən istifadə olunur.Vaqif Əsəd oğlu Kərimov. Alqoritmlər nəzəriyyəsi. Dərs vəsaiti. Bakı. ADNSU-nun nəşri, 2017.

 Həmçinin bax 
 Alqoritmlər

 İstinadlar 

 Mənbə 
 Vaqif Əsəd oğlu Kərimov. Alqoritmlər nəzəriyyəsi. Dərs vəsaiti. Bakı. ADNSU-nun nəşri, 2017, 116 səh.

Kateqoriya:Sintaksis
Kateqoriya:Qrammatika
Kateqoriya:Riyazi məntiq
Kateqoriya:Avtomatlar (hesablama)
Kateqoriya:Formal dillər nəzəriyyəsi