ऐसा करने के बाद, हम अपना काम शुरू कर सकते हैं, हमने देखा है कि, सिस्टम विभिन्न स्टेट लॉगिक्स पर चलता है और ट्रांजीशन लॉजिक वैकल्पिक रूप से गणना करता है।
అది పూర్తి చేసిన తరువాత, మన అభివృద్ధిని ప్రారంభించవచ్చు, కాబట్టి వివిధ స్టేట్ లాజిక్స్ మరియు ట్రాన్సిషన్ లాజిక్స్ పై సిస్టమ్ కదులుతున్నప్పుడు ప్రత్యామ్నాయంగా లెక్కించబడుతుందని మనం చూశాం.