ऑटोमेटा आधारित प्रोग्रामिंग एक कंप्यूटर प्रोग्रामिंग प्रतिमान है जो कार्यक्रम के वर्गों को परिमित ऑटोमेटा के रूप में मानता है। प्रत्येक ऑटोमेटन एक समय में एक "चरण" ले सकता है, और कार्यक्रम का निष्पादन व्यक्तिगत चरणों में टूट जाता है। चरण "राज्य, " और कार्यक्रम के नियंत्रण प्रवाह का प्रतिनिधित्व करने वाले चर के मूल्य को बदलकर एक दूसरे के साथ संवाद करते हैं, यह उस चर के मूल्य से निर्धारित होता है।

"स्टेट" वैरिएबल एक सरल एनम डेटा प्रकार हो सकता है, लेकिन अधिक जटिल डेटा संरचनाओं का उपयोग किया जा सकता है। एक सामान्य तकनीक एक राज्य संक्रमण तालिका बनाने के लिए है, जिसमें हर संभव राज्य का प्रतिनिधित्व करने वाली पंक्तियों, और इनपुट पैरामीटर का प्रतिनिधित्व करने वाले कॉलम शामिल हैं। तालिका का मान जहां पंक्ति और स्तंभ मिलते हैं, अगली स्थिति होती है जब दोनों शर्तों को पूरा किया जाता है तो मशीन को संक्रमण करना चाहिए।

परिमित राज्य मशीन, इनपुट, प्रतिमान, प्रोग्रामिंग शर्तें