English: Or there could be some given orders between various outputs, so after this occurred, that must occur, so these are, these are you know, sequencing orders, sometimes also called interlocks, if this has already occurred that cannot occur, so this kind of, so basically what I, what we are trying to say is that, if the system states are assumed to be discrete, this kind of statements are made about the desired behavior of the system.
Telugu: (Refer Slide Time: 06:49) (స్లైడ్ సమయం చూడండి: 06:49) లేదా వివిధ అవుట్‌పుట్‌ (output)ల మధ్య , ఇది జరిగిన తరువాత, కొన్ని ఆర్డర్‌(orders)లు ఉండవచ్చు, అది తప్పక జరగాలి, కాబట్టి ఇవి మీకు తెలుసా, సీక్వెన్సింగ్ ఆర్డర్లు(sequencing orders), కొన్నిసార్లు ఇంటర్‌లాక్‌(interlock)లు అని కూడా పిలుస్తారు, ఇది ఇప్పటికే సంభవించినట్టయితే, అది సంభవించదు , కాబట్టి ఈ రకమైనది, అలాగే ప్రాథమికంగా నేను, చెప్పడానికి ప్రయత్నిస్తున్నది ఏమిటంటే, సిస్టమ్ స్టేట్స్ (System states) డిస్క్రీట్ (discrete) విగా భావించినట్లయితే, ఈ రకమైన ప్రకటనలు సిస్టమ్ యొక్క కావలసిన బిహేవియర్(behaviour) గురించి చేయబడతాయి.