9-Mavzu. Ma`lumotlar bazasini tiklash Rezervli nusxalash

Holatlarning o‘tish diagrammasi 
Holatlarning o ‘tish diagrammasi — 
chekli avtomat, ya’ni matematik abstraksiyani 
taqdim etishning grafik shakli sanaladi. Undan texnik obyekt yoki real dunyo 
obyektlarining determ inallashgan xatti-harakatini modellashtirish uchun 

---

foydalaniladi. Spetsifikatsiya talablarini tahlil etish va belgilash bosqichida 
holatlar o‘tishining diagrammasi boshqaruvchi ta’sirni olishda ishlab chiqiladigan 
dasturiy tizim xatti-harakatini namoyon qiladi. Boshqaruvchi ta’sir yoki signallar 
deganda, tizim orqali olinadigan boshqaruvchi ma’lumot tushuniladi.
Masalan, foydalanuvchining komandalari va kompyuter tizimiga ulangan datchik 
signallari boshqaruvchi harakat sanaladi. Ana shunday boshqaruvchi ta’sir olgach, 
ishlab chiqilayotgan tizim ma’lum bir harakatni amalga oshirishi yoki tashqi ta’sir 
bilan o‘zaro ta’sirlashib, boshqa holatga o‘tishi yoki o ‘sha holatda qolishi 
mumkin. 
Yakuniy avtomatlar nazariyasi 
Holatlarning o‘tish diagrammasini tuzish uchun yakuniy avtomatlar nazariyasiga 
ko‘ra quyidagilarni aniqlab olish lozim: 
Asosiy holat,
Boshqaruvchi ta’sir (yoki o‘tish shartlari),
Bajariladigan xatti-harakat va bir holatdan boshqasiga o‘tish variantlari, 
Holatlarning o ‘tish diagrammasini tuzishda foydalaniladigan shartli belgilar. 
Agar dasturiy tizim ishlash jarayonida atrof-muhit (foydalanuvchi yoki datchiklar) 
bilan o ‘zaro faol harakat qilmasa, masalan, sodda interfeysdan foydalansa va 
ayrim hisob-kitoblarni berilgan boshlang‘ich ma’lumotlar bo‘yicha amalga oshirsa, 
holatlarning o`tish diagrammasi odatda hech qanday qiziqish uyg'otmaydi. Bu 
holda u faqat ketma-ket bajariladigan o ‘tish amallarini namoyon qiladi. Ya’ni, 
boshlang‘ich holatdan ma’lumotlarni kiritish holatiga o‘tadi, so‘ng hisob-kitob 
qilingach chiqish holatiga, va nihoyat ishni yakunlash holatiga o'tiladi.