ஒரு computational மாதிரி மாநிலங்கள் மற்றும் செயல்கள் சென்ற உடன் பெரும்பாலும் அந்த மாநிலங்களுக்கு இடையில் விளைவுகளுக்கான finite எண்ணிக்கை கொண்ட.