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

DOC 66,5 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

$1523377608_70936.doc формал тил ва грамматикалар режа: 1. формал тил ва грамматикалар 2. белгилар занжири ва улар устидаги амаллар. формал тил – бу сузлардан ташкил топган гапларнинг тупламидир (каторлар). катор – бу чекланган узунликдаги белгилар кетма-кетлигидир (белгилар бири биридан кейин ёзилган). ушбу белгиларнинг хар бири аввалдан берилган алфавитнинг булаги хисобланади. алфавит – белгиларнинг ёки литераларнинг буш булмаган тугалланган туплами булиб, улар ёрдамида каторларни куриш мумкин. формал тилда каторлардан гаплар курилади ва бу каторлар белгилар занжири деб аталади. изох: формал тилни берилиши учун унинг алфавит ива формал граматикасини курсатиш зарур. формал грамматика – каторлар тупламини ифодалаш учун керак буладиган коидалар тизимидир (белгиларнинг тугалланган кетма-кетлиги). уз навбатида каторлар гапларни ташкил этади ва х.к. бундай каторлар туплами тилни ташкил этади. тил кандайдир формал грамматика билан ифодаланади деб хисобласак, грамматика тилни юзага келтиради. фараз килайлик алфавит бу ={0, 1} булсин. ушбу алфавитдан 01001 катор ташкил этилсин. занжирдаги белгилар сони занжирнинг узунлиги m деб аталади (белгиларнинг …$

и шунчалик купки, уларни санаб чикишнинг сира иложи йук. шунинг учун тиллар синтаксисини ифодаловчи махсус –метатиллар (тиллар устида тиллар) мавжуд. ушбу тилда тил конструкциясини тугрилигини аникловчи коидалар тизимини ифодаланади. грамматика – тил синтаксисини коидалари тупламидир. грамматика икки хил куринишда булиши мумкин: · тугилувчи ; · англовчи . тугилувчи грамматика тугри гаплар ташкил этишни процедурасини бошлангич белигидан бошлаб ифодалайди. англовчи грамматика эса аник конструкцияни аник тилга тегишли эканлигини англаш жараёнини ифодалайди.(занжирдан бошлангич белгигача). изох: бу грамматикалар харакат йуналиши жихатидан фаркланадилар. тугилувчи грамматикага мисол куриб чикамиз. бу процедура рус тилини кесилган булаги куринишини эслатади. грамматика объектлари: гап аъзолари, гап булаклари. белгиланиши: пр- предложение -гап п – подлежащее- эга с – сказуемое - кесим ис – имя существительное – от исми м – местоимение - олмош гф – глагольная форма – глагол куриниши коидалар: 1. -- 2. -- 3. -- 4. -- 5. --самолет 6. --дом 7. --он 8. --стоит 9. --строится 10. …

ерминал белги жуда булмаганда бир маротаба коиданинг чап томонига кириши шарт ( n туплам ). n = { , , , , , } t – факат унг булакка кирадиган терминал белгилар туплами. t = {самолет, дом, он, строится, стоит, летит} тугилувчи грамматики учун s – бошлангич белги. s = { }. компилятор учун (паскаль) s сифатида «дастур» тушунчаси туради. -- . агар унг булакда бир конструкция кейингисидан кейин катъий келса бу хол каторлар конкатенациясини англатади (занжирланиш) . ихтиёрий грамматика иккита масалани хал килиши керак: · англаш масаласини (либо задачи распознавания); · ёки тугилиш масаласини (либо задачи порождения). тугилиш жараёнида тугри гапларнинг чикиши ифодаланади. бу шундай амалга оширилади: бошлангич белгидан бошлаб чап булакнинг коидаларини унг булакка алмаштириш амалга оширилади. хар бир олинган тушунча узининг тарифига алмаштирилади. бу жараён унг томонда факат терминал белгиларнинг узи колмагунича давом этади. жараённи грамматик разбор дарахти куринишида ифодалаш кулай. ушбу дарахт кандай коидаларни кандай тил …

терминал белгилар туплами. 2. теминал белгилар туплами. 3. бошлангич белги. 4. коидалар тупламидан ташкил топади. g = {n, t, s, p} коидалар куйидаги куринишга эга: a → b a ( (n ( t)+ b ( (n ( t)* + бу тупламга буш туплам киритиш мумкин эмаслигини англатади * бу тупламга буш туплам киритиш мумкинлигини англатади a ва b – баъзи бир каторлар (белгилар кетма-кетлиги) бундай коидалар продукциялар деб хам аталади. g1 грамматикага мисол караб чикамиз. бу холда куйидагилар киритилади: нетерминал белгилар ( a, b, c, … терминал белгилар ( a, b, c, … караймиз g1 = {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 коидада нетерминал белги а хам чап хам унг булакда мавжуд. бу эса а белги …

ини англатади.) метабелгилик ва метабелгисиз ишоралик бутун сонлар учун коидаларни берилишини караб чикамиз. 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, α=“вася” …

Ko'proq o'qimoqchimisiz?

Faylni Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"формал тил ва грамматикалар" haqida

1523377608_70936.doc формал тил ва грамматикалар режа: 1. формал тил ва грамматикалар 2. белгилар занжири ва улар устидаги амаллар. формал тил – бу сузлардан ташкил топган гапларнинг тупламидир (каторлар). катор – бу чекланган узунликдаги белгилар кетма-кетлигидир (белгилар бири биридан кейин ёзилган). ушбу белгиларнинг хар бири аввалдан берилган алфавитнинг булаги хисобланади. алфавит – белгиларнинг ёки литераларнинг буш булмаган тугалланган туплами булиб, улар ёрдамида каторларни куриш мумкин. формал тилда каторлардан гаплар курилади ва бу каторлар белгилар занжири деб аталади. изох: формал тилни берилиши учун унинг алфавит ива формал граматикасини курсатиш зарур. формал грамматика – каторлар тупламини ифодалаш учун керак буладиган коидалар тизимидир (белгиларнинг тугалланган кетма-кетли...

DOC format, 66,5 KB. "формал тил ва грамматикалар"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: формал тил ва грамматикалар DOC Bepul yuklash Telegram