Т а т у фарғона филиали Қарши 2016 тизимли дастурлаш маърузалар матни

 

---

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