Well-defined, unambiguous விதிகள் அல்லது நடவடிக்கைகளை finite எண்ணில் சிக்கல் தீர்வுக்காக செயல்பாடுகளை ஒரு வரிசை. கணினிகள் பல வகையான வழிமுறைகளும், நடவடிக்கைகள் நடாத்துவதில் முடியும்.