Timsollarni tanib olish” fanidan

MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
SAMARQAND FILIALI

KOMPYUTER TIZIMLARI KAFEDRASI

5330500 - Kompyuter injiniringi (“Dasturiy injiniringi”)
bakalavriatura ta’lim yo’nalishi

“Timsollarni tanib olish” fanidan

LABORATORIYA ISHI № 4

Bajardi: 410- guruh talabasi Kuvondikov A.N.

Qabul qildi: Bekmuratov Q. A.

Samarqand – 2022

Oddiy belgilar fazosini shakllantirish algoritmi asosida timsollarni tanib olishning dasturiy ta’minoti.
Sinflarga xos bo’lgan belgilarni tanlash. Aytaylik, tanlovda va sinflar berilgan bo’lsin. Ushbu tanlovdagi obyektlarda qandaydir - xossa o’lchangan bo’lib, unga mos ekvivalentlik munosabati (moslik qoidasi) berilgan bo’lsin. U holda qoida tanlovdagi obyektlarni ikkita ekvivalent va sinflarga ajratadi. Tanlovdagi obyektlar xossaga ega bo’lsa ( ), u holda ular sinfga, aks holda ( ) sinfga qarashli bo’lsin.
Tanlovdagi xossa sinfga nisbatan birinchi tipli oddiy belgi deyiladi, agarda
va (4.2)
bajarilsa.
Agar tanlovdagi xossa uchun
va (4.3)
bajarilsa, u holda xossa sinfga nisbatan ikkinchi tipli oddiy belgi deyiladi.
Birinchi tipli belgilarning ma’nosi shundan iboratki, sinfdagi barcha obyektlar xossaga ega bo’lish bilan birgalikda ushbu xossaga ega bo’lgan obyektlar sinfda ham uchrashi zarur.
Ikkinchi tipli belgilar shunday xossalar bilan aniqlanadiki, ushbu xossaga ega bo’lgan obyektlar faqat sinfga nisbatan birinchi va ikkinchi tipli - belgilarni mos ravishda va va sinfga nisbatan mos ravishda va belgilaymiz. Biz keyingi mulohazalarni sinfga nisbatan hosil qilinadigan birinchi va ikkinchi tipli belgilar uchun keltiramiz. Keltirgan mulohazalarimiz sinf uchun ham o’rinli bo’ladi.