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

DOC 42.0 KB Free download

Page preview (4 pages)

Scroll down 👇
1
1523377261_70932.doc тил синтаксиси ва семантикаси 1.тил таърифи. синтаксис ва семантика компиляторни ташкил этишдан аввал киритилаётган тилнинг аник таърифига эга булиш керак. бир неча каторлардан таркиб топган тилни тассаввур килишимиз мумкин. тилни ифодалашда кандай каторлар ушбу тилга тегишли эканлиги (тил синтаксиси) ва ушбу каторларни киймати (тил семантикаси) аникланади. синтаксис - формал тугри гаплар тупламининг коидалари тупламидир. тилга тегишли каторларни тилнинг гаплари деб аталади. реал тилларда чексиз гаплар сони булади ва уларни санаб утишнинг иложи йук. энг содда тилнинг синтаксисини табиий тилда куйидагича ифодалаш мумкин, масалан: «барча каторлар, факат 1 ва 0 лардан ташкил топган» у холда 1111 ва 1000110 –тилга тегишли, 1020 эса йук. масалан, куйидаги гап «машина юради». «машина» сузи эга, «юради» кесим. ушбу гап куйидаги синтаксис коидалар ёрдамида ифодалаш мумкин булган тилга тегишли: ::= ::=машина | от ::= юради | чопади ушбу учта каторнинг маъноси куйидагича: гап эга ва кесимдан иборат. эга ёки машина деган бир суздан ёки от …
2
масалан l={0n1n|n>=0}. ушбу тил бир ёки бир неча нуллардан, бирлардан ва буш катордан ташкил топган каторларни уз ичига олади. тилни мураккаброк синтаксисини грамматика ёрдамида аниклаш яхширок. грамматикага тилни гапларини тузиш учун коидалар туплами киради. l синтаксисни оламиз ва куйидаги коидалардан фойдаланамиз. 1. s --> 0s1 2.s --> e ушбу тилнинг гапларини чикариш учун куйидагича иш юритамиз. s белгидан бошлаймиз ва уни 0s1 билан алмаштирамиз ёки е билан. агар s яна олинган каторда мавжуд булса, яна алмаштирамиз ва х.к. шундай усул билан олинган s га эга булмаган катор шу тилнинг гапи хисобланади. масалан, s 0s1 00s11 000s111 000111 бундай каторларнинг кетма-кетлиги 000111 каторни чикиши дейилади, стрелка белгиси эса чикиш кадамларини булаклаш учун хизмат килади. ушбу тилнинг барча гапларини иккита коидадан келиб чиккан холда келтириб чикариш мумкин, ихтиёрий келтириб чикариш мумкин булмаган катор ушбу тилнинг гапи хисобланмайди. грамматикани купинча кайта ёзиш тизими деб хам атайдилар. грамматика (vt,vn,p,s) туртлик билан аникланади, бу ерда …
3
тириш коидасини куллаб aaabb каторни генерация килиш мумкин. s --> ab --> aab --> aaab --> aaaab --> aaab --> aaabb--> aaabbb --> aaabb хар бир бошлангич белгидан келтириб чикариладиган катор сентенциал форма деб аталади. сентенциал формали гап –бу факат терминаллардан иборатдир. терминалларни кичкина харфлар билан, нотерминалларни катта харфлар билан белгилаймиз. иккита бир хил тилни келтириб чикарадиган грамматикани эквивалент грамматика деб атаймиз. фойдаланилган адабиётлар 1. молчанов а.ю. системное программное обеспечение: учебник для вузов. –спб: питер, 2003.-396 с. 2. афанасьев а.н. формальные языки и грамматики: учебная школа: улгту, 1997. – 84 с 3. ахо а., ульман дж. теория синтаксического анализа, перевода и компиляции -: мир, 1979.-487с. 4. компаниец р.и. системное программирование. основы построения трансляторов. спб.:корна принт., 2000. -256 стр. 5. дьяконов в.ю. системное программирование. высш.шк.. 1990. -221 с.
4
тил синтаксиси ва семантикаси - Page 4

Want to read more?

Download the full file for free via Telegram.

Download full file

About "тил синтаксиси ва семантикаси"

1523377261_70932.doc тил синтаксиси ва семантикаси 1.тил таърифи. синтаксис ва семантика компиляторни ташкил этишдан аввал киритилаётган тилнинг аник таърифига эга булиш керак. бир неча каторлардан таркиб топган тилни тассаввур килишимиз мумкин. тилни ифодалашда кандай каторлар ушбу тилга тегишли эканлиги (тил синтаксиси) ва ушбу каторларни киймати (тил семантикаси) аникланади. синтаксис - формал тугри гаплар тупламининг коидалари тупламидир. тилга тегишли каторларни тилнинг гаплари деб аталади. реал тилларда чексиз гаплар сони булади ва уларни санаб утишнинг иложи йук. энг содда тилнинг синтаксисини табиий тилда куйидагича ифодалаш мумкин, масалан: «барча каторлар, факат 1 ва 0 лардан ташкил топган» у холда 1111 ва 1000110 –тилга тегишли, 1020 эса йук. масалан, куйидаги гап «машина юради»...

DOC format, 42.0 KB. To download "тил синтаксиси ва семантикаси", click the Telegram button on the left.