Now from here again you go follow this part, this says finite state machines not only finite machines, it can be some kind of logic specifications also.
अब यहाँ से फिर से आप इस भाग का अनुसरण करते हैं, यह कहता है कि फ़ायनाइट स्टेट मशीन न केवल finite state machines हैं, यह कुछ प्रकार के logic specifications भी हो सकते हैं।