Тил синтаксиси ва семантикаси - Informatika va AT - Referatlar

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

Yuklangan vaqt:

20.09.2019

Ko'chirishlar soni:

0

Hajmi:

42 KB

Ko'chirib olish

Т ил синтаксиси ва семантикаси 1.Тил таърифи. Синтаксис ва семантика Компиляторни ташкил этишдан аввал киритилаётган тилнинг аник таърифига эга булиш керак. Бир неча каторлардан таркиб топган тилни тассаввур килишимиз мумкин. Тилни ифодалашда кандай каторлар ушбу тилга тегишли эканлиги (тил синтаксиси) ва ушбу каторларни киймати (тил семантикаси) аникланади. Синтаксис - формал тугри гаплар тупламининг коидалари тупламидир. Тилга тегишли каторларни тилнинг гаплари деб аталади. Реал тилларда чексиз гаплар сони булади ва уларни санаб утишнинг иложи йук. Энг содда тилнинг синтаксисини табиий тилда куйидагича ифодалаш мумкин, масалан: «барча каторлар, факат 1 ва 0 лардан ташкил топган» у холда 1111 ва 1000110 –тилга тегишли, 1020 эса йук. Масалан, куйидаги гап «машина юради». «Машина» сузи эга, «юради» кесим. Ушбу гап куйидаги синтаксис коидалар ёрдамида ифодалаш мумкин булган тилга тегишли: <гап>::=<эга><кесим> <эга>::=машина | от <кесим>::= юради | чопади Ушбу учта каторнинг маъноси куйидагича: гап эга ва кесимдан иборат. Эга ёки машина деган бир суздан ёки от деган суздан ташкил топган. Кесим хам ёки юради деган суздан, ёки чопади деган суздан ташкил топган. Ихтиёрий гапни бошлангич белги оркали кетма-кет куйиш йули билан олиш мумкин. Ушбу коидаларни ёзишда фойдаланиладиган нотация Бэкус-Наур формаси деб аталади. Синтаксис бирликлар <гап> <эга> ва <кесим> нотерминал белгилар деб аталади, “машина”, ”от”, ”юради”, чопади терминал белгилар деб аталади, коидалар эса тугилувчи коидалардир. ::=, |

. <> белгилар метабелгилардир. Семантика тилнинг барча гапларига киймат беради. Алфавит –белгилар туплами. Масалан: Рус харфлари. Лотин харфлари , ракамлар. Агар А-алфавит булса, А* А га кирувчи барча белгилардан тузилган каторларнинг (буш каторни хам кушган холда) тупламини англатади. А+ эса А га кирувчи барча белгилардан тузилган каторларнинг (буш каторни хам кушмаган холда) тупламини англатади. Буш катор купинча Е(эпсилон) ёрдамида белгиланади Тилни синтаксисини тупламларни тасвирлаш оркали аниклаш мумкин, масалан L ={0 n 1 n | n >=0}. Ушбу тил бир ёки бир неча нуллардан, бирлардан ва буш катордан ташкил топган каторларни уз ичига олади. Тилни мураккаброк синтаксисини грамматика ёрдамида аниклаш яхширок. Грамматикага тилни гапларини тузиш учун коидалар туплами киради. L синтаксисни оламиз ва куйидаги коидалардан фойдаланамиз. 1. S - -> 0 S 1 2. S - -> E Ушбу тилнинг гапларини чикариш учун куйидагича иш юритамиз. S белгидан бошлаймиз ва уни 0 S 1 билан алмаштирамиз ёки Е билан. Агар S яна олинган каторда мавжуд булса, яна алмаштирамиз ва х.к. Шундай усул билан олинган S га эга булмаган катор шу тилнинг гапи хисобланади. Масалан, S 0 S 1 00 S 11 000 S 111 000111 Бундай каторларнинг кетма-кетлиги 000111 каторни чикиши дейилади, стрелка белгиси эса чикиш кадамларини булаклаш учун хизмат килади. Ушбу тилнинг барча гапларини иккита коидадан келиб чиккан холда келтириб чикариш мумкин, Ихтиёрий келтириб чикариш мумкин булмаган катор ушбу тилнинг гапи хисобланмайди. Грамматикани купинча кайта ёзиш тизими деб хам атайдилар. Грамматика ( Vt , Vn , P , S ) туртлик билан аникланади, Бу ерда Vt –алфавит булиб, унинг белгилари терминаллар деб аталади, улардан грамматика

оркали келтирилувчи занжирлар курилади. Vn –алфавит булиб, унинг белгилари нотерминаллар деб аталади, занжирларни куришда фойдаланилади. Vt ва Vn умумий белгиларга эга эмаслар, яъни Vt Vn =0, Грамматиканинг тулик алфавити V Vt U Vn каби аникланади. Р – тугилувчи коидалар туплами булиб, унинг хар бир элементи ( a , b ) жуфтлигидан ташкил топади, бу ерда а V + да, ва b эса V * да. а коиданинг чап булаги, b эса унг булагидир. Коида куйидагича ёзилади: a b . S Vn га тегишли ва бошлангич белги (аксиома) деб аталади. Бу белги тилнинг ихтиёрий гапини олиш учун таянч нуктадир. L ={0 n 1 n | n >=0}.тилни генерация киладиган грамматика булиб G 0 =({0,1},{ S }, P , S ), ,бу ерда P ={ S 0 S 1. S E } хисобланади. L ={ anbm | n , m >=0}.тилни генерация киладиган грамматика булиб G 0 =({ a , b },{ S , A , B }, P , S ), бу ерда P ={ S AB , A aA , A E , B bB , B E } хисобланади. S белгидан бошлаб нотерминални алмаштириш коидасини куллаб 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 с.

O'xshashlar

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

Алгоритмик тилларнинг умумий тавсифи ва металингвистик формулалар тили

Рнр дастурлаш тили. Рнр тилининг синтаксиси. Формалар билан ишлаш

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

SQL тили ва унинг таркиби SQL тили тарихи