-грамматикасы жай иемдену формасына келесі шарттарды орындағанды келеді:
а) іс-әрекеттің синтезделінетін символдарын есептеу ережелерінен басқа барлық атрибуттарды есептеу ережелері көшіруші болып табылады.
б) грамматиканың әрбір ережесіне көшіруші ережелер жиыны егеменді болып табылады.
– атрибуттық және -грамматикасының жай иемдену қасиеті атрибутты ауысымды іске асыратын түрлендіруші тұрғызу үшін қажет болып табылады.
Егер берілген
Достарыңызбен бөлісу: |