Содержание курса

жүктеу 19,95 Mb.

бет	157/195
Дата	25.05.2018
өлшемі	19,95 Mb.
	#17747
түрі	Конспект

1 ... 153 154 155 156 157 158 159 160 ... 195

–грамматикасының жай иемдену формасы болмаса, онда ол үшін жай иемдену формасындағы эквивалентті

-грамматикасын құруға болады.

Көшірмейтін ережелер түрленуінің реттілігін мазмұндамас бұрын, бұндай түрлену қалай болатынын көрсететін мысалды қарастырайық. Айтарлық көшірмейтін атрибуттық ереже келесі түрде берілген дейік:

Алдымен

функциясының есептеуін көрсететін іс-әрекеттің жаңа символын енгіземіз. Іс-әрекет символын

түрінде белгілейміз де, оған үш атрибут береміз. Екі

мұра етуші атрибуттары функция аргументін беру үшін, ал бір синтезделінуші

атрибуты функция мағынасын алу үшін қажет. Нәтижесінде келесі іс-әрекет символының анықтамасына жетеміз:

, бұнда

мағынасы

функциясы ретінде анықталады.

жүктеу 19,95 Mb.

Достарыңызбен бөлісу:

1 ... 153 154 155 156 157 158 159 160 ... 195