प्रोग्रामिंग भाषा के शब्दार्थों में, प्रोग्राम स्टेट की धारणा अस्पष्ट दार्शनिक धारणा नहीं है, बल्कि एक बहुत ही सटीक गणितीय है। एक राज्य रों इस छोटे से चरण में परिचालन शब्दार्थ एक आंशिक कार्य है
रों : वी एक आर ↪ जेड
जो चर के मूल्यों को रिकॉर्ड करता है। तो अगररोंx = वी, फिर परिवर्तनशील एक्स मूल्य है v। राज्य अनिवार्य रूप से एक आंशिक कार्य है, क्योंकि यह केवल चर के मूल्यों को रिकॉर्ड करने के लिए समझ में आता है जो वास्तव में होते हैं।
सामने वाला स्वयंसिद्ध है
⟨ जबकिखकरनाएस, रों ⟩ ⇒ ⟨ अगरखफिरएस; जबकिखकरनाएसअन्य छोड़ें ,ss
बस हमें बता रहा है कि हम एक समय-लूप को एक सशर्त विवरण में प्रकट करते हैं, जिसकी शाखाओं में से एक में लूप शामिल है। कोई भी चर इसके कारण अपना मूल्य नहीं बदलेगा, और इस कारण से राज्य नहीं बदलता है।