Не аталады элементтер қаторларының қолжетімділігі?

Пугающий_Пират

56

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

Аталар элементтер қаторларының қолжетімділігін тексеру мақсатында, біз өзімізге келісімге сәйкес қабылдағандарды тексерек, «элементті қабылдаулы» мен «элементті ғана қабылдаулы» аталарын қолданамыз.

Элементті қабылдаулы аталар: «элемент» таңбасымен алмасу кезінде, осы элемент бар болса, резултат «жалған» болуы керек. Ал, егер бір элемент жоқ болса, резултат «жалған емес» болады. Мысалы, аталауы «А санының қосыны сан аталсын» дедік. Осылайша, «А элементін анықта» қабылдаулы, ал қабылдауларға арналған аймақтық бөлігін мыналай «сан аймағы» деп атайды.

Элементті ғана қабылдаулы аталар: жоқ санға қарағанда, біз «элемент жоқ» дедік. Мысалы, аталауы «А санының қосымшасы көбейтін сапта жоқ па?» дедік. Осылайша, «А элементін анықта» қабылдаулы, ал қабылдауларға арналған уақытын аймағының барлығы жоқ».

Сонымен қатар, аталар элементтер қаторларының қолжетімділігін тексердік, басқа мәселенің шешімін тапмасыз. Яғни, биз осы жаттығуларды апарып, жаттықты қабылдауларды мекен-жай белгісі бойынша тексереміз. Аталар элементтер қаторларының қажеттілігі сияқты белгіленген жаттандырылмайтын болса, олар сәйкес көрсетілген тартпау белгіліліктерімен аталар мен тараптар арасында бағытталған болу керек.