Well these arrows can be self loops also, so a state and itself it can also be like this and each transition is labeled by 2 numbers α and β where α denotes some input combinations and β denotes an output combination.
वैसे ये तीर स्वयं लूप भी हो सकते हैं, इसलिए एक स्थति और स्वयं यह भी इस तरह का हो सकता है और प्रत्येक संक्रमण 2 नंबर α और β द्वारा लेबल किया जाता है, जहां α कुछ इनपुट संयोजनों को दर्शाता है और β एक आउटपुट संयोजन को दर्शाता है ।