Тахлил муаммоси. Унгтомонли чикиш. Чаптомонли чикиш. Лексик тахлилчилар (сканерлар) ва уларни қуриш принциплари Синтаксис тахлилчи

• Мавзу: Лексик ва синтаксис тахлил.

Режа:

• Тахлил муаммоси. Унгтомонли чикиш. Чаптомонли чикиш.
• Лексик тахлилчилар (сканерлар) ва уларни қуриш принциплари
• Синтаксис тахлилчи.
• Чикиш дарахти. Амаллар дарахти.

Калит сўзлар

• Бошланғич белги
• Туғилувчи қоидалар
• Чап томонли ва ўнг томонли чиқиш
• Тахлил дарахти
• Сканер, Лексема
• Идентификаторлар, константалар ва терминал белгилар жадвали. Лексема кодлари жадвали

Тахлил муаммоси.

• Кандайдир тилнинг мавжуд грамматикаси асосида ушбу тилнинг англовчисини куришни англатади.
• Тахлил масаласи барча тиллар учун ечилмайди.
• Тахлил масаласи куйидаги масалалар учун ечилади:
• - кирувчи белгилар занжирининг маъновий юкланишини аниклаш;
• - занжирни куришда фойдаланилган коидаларни аниклаш;
• хатоликларни мавжудлиги, хатоликлар ўрни ва турини аниклаш.
• Дастурлаш тилларида нафақат дастур тузиш, балки дастур матни шу тилга тегишлилигини аниқлай олиш хам мухим хисобланади.
• Айнан шу масалани компиляторлар хал қилади. Инсон бирор бир тилда дастур тузувчи сифатида шу тилнинг занжири генератори ролини ўйнайди, компилятор эса матнни англаб олувчи (распознаватель) хисобланади.
• Англаб олувчи – бу берилган кириш занжирини муайян тилга тегишлилигини аниқлайдиган махсус алгоритм хисобланади.

Тахлил муаммоси.

• Туғилувчи қоидалар билан ишловчи грамматикани текширамиз. Қуйидагича грамматика берилган
• G({+,*,x,y},{E,T,F},P,E)
• 1. Е  E+T 5. F (E)
• 2. E T 6. F x
• 3. T  T*F 7. F y
• 4. T  F

Тахлил муаммоси.

• Кўриниб турибдики, (х+у)*х қатор ушбу тилга тегишли. Хусусий ҳолда, буни қуйидагича келтириб чиқариш мумкин (ҳар бир келтириб чиқариш қадами учун қўлланилаётган қоида рақами кўрсатилган):
• 2) E  T 4) (F+T)*F
• 3)  T*F 6) (x+T)*F
• 4)  F*F 4)  (x+F)*F
• 5) (E)*F 7)  (x+y)*F
• 1)  (E+T)*F 6)  (x+y)*x
• 2) (T+T)*F