31
Топтастырудың жалпы есебі айқындау есебіне баламалы: кейбір
формалды тілде (грамматикада) кейбір тізбек мүмкін сӛйлем болып ала ма.
Кейбір ТЖ декларативті білімдерді ұсыну үшін қолданылады, мысалы,
алгоритмдық тілдердің кілтті транслятор кестелерін құру үшін.
Иерархиялық жүйеде (
4.6-сурет
) топтастырылатың топтар арасында
бағыну қатынас қойылған (мысалы, тек - түр). Объектілер кӛптігі кейбір
белгі (бӛлу негізі) бойынша ірі топтастыққа бӛлінеді, сосын әрбір топтастық
келесі топтастыққа және т.б., біртіндеп топтастыру объектіне жеткенше
бӛлінеді. Жоғары айтылған бӛлу ережелерін бұзбау қажет.
Достарыңызбен бөлісу: