eŋ xˌeneɾˈal, la pˈaɾte komˈun en tˈoðas las ðˌefiniθjˈones se pwˈeðe rˌesumˈiɾ en las siɣjˈɛntes tɾˈes pɾˌopjeðˈaðes, sjˈempɾe i kwˌando nˈo kˌonsiðeɾˈemos ˌalɣoɾˈitmos pˌaɾalˈelos:
En general, la parte común en todas las definiciones se puede resumir en las siguientes tres propiedades, siempre y cuando no consideremos algoritmos paralelos: