(1) ஒரு finite நடவடிக்கைகள்; finite எண்ணிக்கை கோளாறு தீர்வு well-defined விதிகளை அமை உதாரணத்திற்கு, ஒரு முழு specification, நெடுக்கை பயனிலைகளின் ஒதுக்கீடு arithmetic நடவடிக்கைகளை வரிசை முறை கொடுக்கப்பட்ட precision.~(2) x எந்த குறிப்பிட்ட பணி பின்வருவனவற்றை பார்க்கவும் ஒதுக்கீடு நடவடிக்கைகளை வரிசை முறை.