Формал тил ва грамматикалар - Информатика и ИТ - Рефераты

Формал тил ва грамматикалар

Загружено в:

20.09.2019

Скачано:

0

Размер:

66.5 KB

Формал тил ва грамматик алар Режа: 1. Формал тил ва грамматик алар 2. Белгилар занжири ва улар устидаги амаллар.

Формал тил – бу сузлардан ташкил топган гапларнинг тупламидир (каторлар). Катор – бу чекланган узунликдаги белгилар кетма-кетлигидир (белгилар бири биридан кейин ёзилган). Ушбу белгиларнинг хар бири аввалдан берилган алфавитнинг булаги хисобланади. Алфавит – белгиларнинг ёки литераларнинг буш булмаган тугалланган туплами булиб, улар ёрдамида каторларни куриш мумкин. Формал тилда каторлардан гаплар курилади ва бу каторлар белгилар занжири деб аталади. Изох: Формал тилни берилиши учун унинг алфавит ива формал граматикасини курсатиш зарур. Формал грамматика – каторлар тупламини ифодалаш учун керак буладиган коидалар тизимидир (белгиларнинг тугалланган кетма- кетлиги). Уз навбатида каторлар гапларни ташкил этади ва х.к. Бундай каторлар туплами тилни ташкил этади. Тил кандайдир формал грамматика билан ифодаланади деб хисобласак, грамматика тилни юзага келтиради. Фараз килайлик алфавит бу ={0, 1} булсин. Ушбу алфавитдан 01001 катор ташкил этилсин. Занжирдаги белгилар сони занжирнинг узунлиги m деб аталади (белгиларнинг мос тушишига богликсиз равишда). Буш занжир деб узунлиги m=0 булган занжир аталади. У .. ёки .. белгиланади. Белги алфавитда аникланган каторлар тупламини англатади. ..={0,1,01,10,101,110,..}. Буш туплам ихтиёрий тупламга киради. L алфавитнинг формал тили .. дебкандайдир ихтиёрий.. . кисмтупламга айтилади. Знак .. разница с .. в одном символе. .. не включает в сея пустую строку.

Хар бир формал тил гаплари кандайдир коидалардан келиб чиккан холда тузилади. Бу коидалар тилнинг синтаксисини ташкил этади. Формал тилнинг муаммоларидан бири тил синтаксисини ифодалашдан иборатдир. Мазмуни: агар тиллар куп булмаган тугалланган гаплардан ташкил топган булганларида эди, у холда уларни санаб чикиш мумкин булар эди ва конструкцияларнинг тугрилиги ущбу тупламга тегишли ёки тегишли эмаслиги билан текширилар эди. Лекин мумкин булган гаплар сони шунчалик купки, уларни санаб чикишнинг сира иложи йук. Шунинг учун тиллар синтаксисини ифодаловчи махсус – метатиллар (тиллар устида тиллар) мавжуд. Ушбу тилда тил конструкциясини тугрилигини аникловчи коидалар тизимини ифодаланади. Грамматика – тил синтаксисини коидалари тупламидир. Грамматика икки хил куринишда булиши мумкин:  Тугилувчи ;  Англовчи . Тугилувчи грамматика тугри гаплар ташкил этишни процедурасини бошлангич белигидан бошлаб ифодалайди. Англовчи грамматика эса аник конструкцияни аник тилга тегишли эканлигини англаш жараёнини ифодалайди.(занжирдан бошлангич белгигача). Изох: Бу грамматикалар харакат йуналиши жихатидан фаркланадилар. Тугилувчи грамматикага мисол куриб чикамиз. Бу процедура рус тилини кесилган булаги куринишини эслатади. Грамматика объектлари: гап аъзолари, гап булаклари. Белгиланиши: ПР- предложение -гап П – подлежащее- эга С – сказуемое - кесим

ИС – имя существительное – от исми М – местоимение - олмош ГФ – глагольная форма – глагол куриниши Коидалар: 1. < ПР > -- < П >< С > 2. < П > -- < ИС > 3. < П > -- < М > 4. < С > -- < ГФ > 5. < ИС > --самолет 6. < ИС > --дом 7. < М > --он 8. < ГФ > --стоит 9. < ГФ > --строится 10. < ГФ > --летит Белгиланиши: a — b a b ни келтириб чикаради; a дан b чикади; b a дан келиб чикади. Курсаткич чикиш йуналишини курсатади. -- бор, кандай аникланади. Изох: Унгдаги нарса чапдаги нарсани аниклайди. <имя> - нетерминал белги имя – терминал белги. Терминал белгилар грамматика коидалари ёрдамида очиб берилмайди, нетерминал белгилар эса очилади. Грамматиканинг коидалар туплами P деб аталади. Ушбу холда P санаб утиш куринишида келтирилган . Ёки чап ёки унг кисмга кирувчи, ёки иккала кисмга хам кирувчи барча белгилар туплами V билан белгиланади. P коидада V алфавитнинг белгиларидан тилнинг тугри гапларини тузиш хакидаги маълумотлар сакланади. (ушбу коидалар буйича тузилмаган гаплар

нотугри хисобланадилар). Ушбу холатда G 0 грамматика учун алфавит куйидагича белгиланади: V = {<ПР>, <С>, <ИС>, <П>, <М>, <ГФ>, самолет, дом, он, стоит, строится, летит}. Умумий холатда V туплам икки кисмдан N ва T , белгилар тупламидан тузилади. Ихтиёрий нетерминал белги жуда булмаганда бир маротаба коиданинг чап томонига кириши шарт ( N туплам ). N = {<ПР>, <П>, <С>, <М>, <ИС>, <ГФ>} T – факат унг булакка кирадиган терминал белгилар туплами. T = {самолет, дом, он, строится, стоит, летит} Тугилувчи грамматики учун S – бошлангич белги. S = {<ПР>}. Компилятор учун (Паскаль) S сифатида «дастур» тушунчаси туради. <Программа>--<Раздел описаний><Раздел действий>. Агар унг булакда бир конструкция кейингисидан кейин катъий келса бу хол каторлар конкатенациясини англатади (занжирланиш) . Ихтиёрий грамматика иккита масалани хал килиши керак:  Англаш масаласини (либо задачи распознавания);  Ёки тугилиш масаласини (либо задачи порождения). Тугилиш жараёнида тугри гапларнинг чикиши ифодаланади. Бу шундай амалга оширилади: бошлангич белгидан бошлаб чап булакнинг коидаларини унг булакка алмаштириш амалга оширилади. Хар бир олинган тушунча узининг тарифига алмаштирилади. Бу жараён унг томонда факат терминал белгиларнинг узи колмагунича давом этади. Жараённи грамматик разбор дарахти куринишида ифодалаш кулай. Ушбу дарахт кандай коидаларни кандай тил конструкцияларга куллаш мумкинлигини курсатади, лекин у аник тугилиш жараёнидаги куллаш тиртибини курсатмайди. Дарахт грамматиканинг ушбу коидаларига

асосланган холда курилади. Юкорида бошлангич белги жойлашади, пастда – терминал белгилар. Дарахт №1 коидаларни куллаш йули билан курилади. Гап эга ва кесимнинг конкатенациясидан ташкил топади. Кесим булиб ёки ИС, ёки М келиши мумкин. Гап(Предложение) Эга(Подлежащее) Кесим(Сказуемое) От(Существительное) Олмош (Местоимение) Фел(Глагол) Самолет Дом Он Стоит Летит Строится Аник бир гапни чикиши ечим кабул килишни талаб этади: кайси йул билан пастга караб юриш керак. Дарахт эса коидаларни ифодалайди. Самолет строится – масалан. Англаш масаласи дарахтдан фойдаланиб ечилади. Дарахт буйича пастдан юкорига харакат килиб аник гапга бошлангич белгига етиб бориш керак. Бу ерда унг томон булакларини чап томон булаклари коидасига алмаштирилади. Масалан, Дом летит. ИС ва ГФ; --П ва С; --ПР. Умумий холда грамматика : 1. Нетерминал белгилар туплами . 2. Теминал белгилар туплами . 3. Бошлангич белги . 4. Коидалар тупламидан ташкил топади. G = {N, T, S, P} Коидалар куйидаги куринишга эга : a → b a  (N  T) + b  (N  T) * + бу тупламга буш туплам киритиш мумкин эмаслигини англатади * бу тупламга буш туплам киритиш мумкинлигини англатади

a ва b – баъзи бир каторлар (белгилар кетма-кетлиги) Бундай коидалар продукциялар деб хам аталади. G 1 грамматикага мисол караб чикамиз. Бу холда куйидагилар киритилади: Нетерминал белгилар  A , B , C , … терминал белгилар  a , b , c , … Караймиз G 1 = { N , T , S , P }, бу ерда N = {A, B, S} T = {a, b} P = { S  AB (1) A  aA (2) A  a (3) B  Bb (4) B  b (5) } №2 коидада нетерминал белги А хам чап хам унг булакда мавжуд . Бу эса А белги тегишли каторлар синфи А белгига а префиксни кушиш оркали курилишини англатади. Учинчи коидада А а оркали аникланади. Умумий холда бундай жараён каторлар конкатенацияси деб аталади ( А катор чапдан кушиладиган а конкатенациясидан курилади). Кандайдир тушунча узи узидан куриладиган холат рекурсия деб аталади. Туртинчи коидада хам рекурсия мавжуд. Занжир белгини унгдан кушиш йули билан ташкил этилади. Бу холатда коидалар барча мумкин булган вариантларни санаб чикиш йули билан берилади, хар бир вариант учун бита катор. Грамматика коидаларини бериш усули нотация деб аталади.

Купинча Бэкус Наура формасидан фойдаланилади.Унда куйидаги белгилашлардан фойдаланилади:  ; ::= Барча нетерминал белгилар бурчак кавсларга олинади. Агар кандайдир тушунча учун чап булакда бир нечта вариант бор булса, у холда “  ” белгидан фойдаланилади. <A> ::= a  a<A> Бундай ташкари грамматика коидалари метабелгилардан фойдаланилган холда хам берилади (кавслар): ( ) – думалок кавсларда санаб утилган барча конструкциялардан ушбу конструкция учраган вактида факат биттагинасидан фойдаланилади.Вергулдан булаклаш учун фойдаланилади. [ ] – бу кавсларга киритилганлар булиш хам, булмасликлари хам мумкин. { } – такрорлашни англатади (n марта, n = 0,1,2,…. 0 конструкция мавжуд эмаслигини англатади.) Метабелгилик ва метабелгисиз ишоралик бутун сонлар учун коидаларни берилишини караб чикамиз. G = {{0,1,2,…,9},{<ишорали сон>,<сон>,<ракам>}, P,<ишорали сон>} P = { <ишорали сон> ::= +<сон>  -<сон> <сон> ::= <ракам>  <ракам><сон> <ракам> ::= 0  1  2  3  4  5  6  7  8  9 } Иккинчи коида рекурсив. Худди шунингдек метабелгилик ишоралик сонлардан фойдаланилган хол учун : < ишорали сон > ::= [(+,-)] ракам{ракам} 2. Белгилар занжири ва улар устидаги амаллар. Белгилар занжири – бу бири биридан кейин ёзилган белгиларнинг ихтиёрий кетма-кетлигидир.

Белгилар занжири (БЗ) учун таркиб, белгилар сони ва тартиб мухимдир. БЗ α ва β тенг α=β ёки мос тушадилар, агар улар битта белгилар таркибига эга булсалар, бир хил белгилар сонига ва белгиларнинг занжир буйлаб бир хил келиш тартибига эга булсалар. Занжирдаги белгилар сони занжир узунлиги дейилади. БЗ куйидаги хусусиятларга эгадирлар: 1)Конкатенация – 2 та занжирни йигиндиси ёки купайтмаси αβ α=“ BA ” β =“ CL ” => α β =“ BACL ” Конкатенация амали коммутиция хусусиятига эга эмас, яъни αβ≠βα. Ассоциативлик хусусиятига эгадир (αβ)γ=α(βγ) 2)Занжирга мурожат – занжир белгиларини тескари тартибда ёзиш α R , α=“ВАСЯ” => α R =“ЯСАВ” Ушбу амал учун (αβ) R =α R β R хакикат 3)якинлашув – занжирни n марта такрорлаш 4)белгиларнинг буш занжири – бу битта хам белгига эга булмаган занжирдир, λ -буш занжир учун куйидаги хакикат: 1) |λ|=0; 2) ихтиёрий α: λα=αλ=α; 3)λ R =λ; 4) ихтиёрий n ≥0:λ n =λ; 5)ихтиёрий α: α 0 =λ

Фойдаланилган адабиётлар 1. Молчанов А.Ю. Системное программное обеспечение: Учебник для вузов. –СПб: Питер, 2003.-396 с. 2. Афанасьев А.Н. Формальные языки и грамматики: Учебная школа: УлГТУ, 1997. – 84 с 3. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции -: Мир, 1979.-487с. 4. Компаниец Р.И. Системное программирование. Основы построения трансляторов. СПб.:Корна принт., 2000. -256 стр. 5. Дьяконов В.Ю. Системное программирование. Высш.шк.. 1990. -221 с.

Похожие

Тил синтаксиси ва семантикаси

Компиляция босқичлари. Компилятор тузилиши

Дастурлаш тиллари ривожининг биринчи қадамлари

Пороцедура-функциялар ва локаллаштириш принципи

Дастурлаш тизимлари таркиби