હવે અહીંથી ફરી તમે આ ભાગને અનુસરવા જાઓ, આ કહે છે કે ફાઇનાઇટ સ્ટેટ મશીનો માત્ર ફાઇનાઇટ મશીનો જ નહીં, તે અમુક પ્રકારના લોજીક સ્પેસિફીકેશન પણ હોઈ શકે છે.
अब यहाँ से फिर से आप इस भाग का अनुसरण करते हैं, यह कहता है कि फ़ायनाइट स्टेट मशीन न केवल finite state machines हैं, यह कुछ प्रकार के logic specifications भी हो सकते हैं।