4–amaliyot. Holat tenglamasining ko‘rinishlari va ularni bir ko‘rinishdan boshqasiga o‘tishi

Tilli modellash.

Tilli modellash asosida qandaydir tezaurus (bir tilning mukammal lug‘ati) yotadi. U kiruvchi tushunchalar to‘plamidan tashkil topadi, uning ustiga bu to‘plam fiksatsiyalangan bo‘lishi kerak. Shuni qayd qilish kerakki, tezaurus va oddiy lug‘at orasida prinsipial farqlar bor. Tezaurus – lug‘at, bir xil bo‘lmaganlikdan tozalangan, ya’ni unda har bir so‘zga yagona tushuncha muvofiq bo‘lishi kerak, garchi oddiy lug‘atda bir so‘zga bir nechta tushunchalar muvofiq bo‘lishi mumkin.

Belgili modellash real ob’ektni o‘rnini bosadigan va uning munosabatlarini asosiy xossalarini ma’lum alomatlar va belgilarning ma’lum tizimi yordamida ifoda etadigan mantiqiy ob’ektni yaratishning sun’iy jarayonidir.

Ixtiyoriy S tizimlarning faoliyat ko‘rsatish jarayoni xarakteristikasini tadqiq qilish uchun ushbu jarayonni formallashtirish kerak, ya’ni uning matematik modelini tuzish kerak.